changeset 40049:bc77e002a169

(redisplay_internal): Don't clear echo area if the mini-window is selected.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 19 Oct 2001 11:04:00 +0000
parents 4b1fac13860a
children 373675529da6
files src/xdisp.c
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Fri Oct 19 10:28:44 2001 +0000
+++ b/src/xdisp.c	Fri Oct 19 11:04:00 2001 +0000
@@ -8467,7 +8467,11 @@
      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;