changeset 34068:4a200b2a343b

(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.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 30 Nov 2000 21:57:05 +0000
parents c6b6e1f13f5d
children 4edb25c6c86a
files src/xdisp.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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))