# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 978005949 0
# Node ID 9ccc4efae7d4da712c51d935c052cc4bf2e1ca43
# Parent  6ab3c587f8bc2c61a24cac9ab822fbca9d220bed
(echo_area_display): Bind redisplay-dont-pause to t
around the call to redisplay_internal.

diff -r 6ab3c587f8bc -r 9ccc4efae7d4 src/xdisp.c
--- a/src/xdisp.c	Thu Dec 28 12:16:03 2000 +0000
+++ b/src/xdisp.c	Thu Dec 28 12:19:09 2000 +0000
@@ -6698,9 +6698,14 @@
 	    
 	  if (window_height_changed_p)
 	    {
-	      /* Must update other windows.  */
+	      /* Must update other windows.  Likewise as in other
+		 cases, don't let this update be interrupted by
+		 pending input.  */
+	      int count = BINDING_STACK_SIZE ();
+	      specbind (Qredisplay_dont_pause, Qt);
 	      windows_or_buffers_changed = 1;
 	      redisplay_internal (0);
+	      unbind_to (count, Qnil);
 	    }
 	  else if (FRAME_WINDOW_P (f) && n == 0)
 	    {