From 3fa69ee7cdf41d6568fc5391465a4161143c4832 Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Fri, 19 Oct 2001 11:04:00 +0000 Subject: [PATCH] (redisplay_internal): Don't clear echo area if the mini-window is selected. --- src/xdisp.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/xdisp.c b/src/xdisp.c index 986b4a333ce..c6dec89c2bb 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -8467,7 +8467,11 @@ redisplay_internal (preserve_echo_area) the echo area should be cleared. */ if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p) || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p) - || (message_cleared_p && minibuf_level == 0)) + || (message_cleared_p + && minibuf_level == 0 + /* If the mini-window is currently selected, this means the + echo-area doesn't show through. */ + && !MINI_WINDOW_P (XWINDOW (selected_window)))) { int window_height_changed_p = echo_area_display (0); must_finish = 1; -- 2.39.5