# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 975621425 0
# Node ID 4a200b2a343bb3d63296c1234824480d6c7115ef
# Parent  c6b6e1f13f5d6ed80284f405cd3f207cce5da89d
(echo_area_display): If cursor is in the echo area, make
sure that the next redisplay displays the minibuffer, so that
the cursor will be replaced with what the minibuffer wants.

diff -r c6b6e1f13f5d -r 4a200b2a343b src/xdisp.c
--- a/src/xdisp.c	Thu Nov 30 19:52:51 2000 +0000
+++ b/src/xdisp.c	Thu Nov 30 21:57:05 2000 +0000
@@ -6631,6 +6631,12 @@
 	    }
 	  else
 	    update_frame (f, 1, 1);
+
+	  /* If cursor is in the echo area, make sure that the next
+	     redisplay displays the minibuffer, so that the cursor will
+	     be replaced with what the minibuffer wants.  */
+	  if (cursor_in_echo_area)
+	    ++windows_or_buffers_changed;
 	}
     }
   else if (!EQ (mini_window, selected_window))