# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1003489440 0
# Node ID bc77e002a1690d5ead70112e4c93d110dfae5d93
# Parent  4b1fac13860a81b319e6e6da46bfa9bbfe1cbab3
(redisplay_internal): Don't clear echo area if the
mini-window is selected.

diff -r 4b1fac13860a -r bc77e002a169 src/xdisp.c
--- 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;