# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770301381 0
# Node ID 8d27747de7cac09d06b01a4e2318e3c0e5536c75
# Parent  4f68024e4fb0e1e69d480a23ba12cd7d8d538fd5
(redisplay): Limit prev change to pause != 0.

diff -r 4f68024e4fb0 -r 8d27747de7ca src/xdisp.c
--- a/src/xdisp.c	Mon May 30 12:23:10 1994 +0000
+++ b/src/xdisp.c	Mon May 30 12:36:21 1994 +0000
@@ -844,7 +844,7 @@
 
   /* If we just did a pending size change, redisplay again
      for the new size.  */
-  if (windows_or_buffers_changed)
+  if (windows_or_buffers_changed && !pause)
     redisplay ();
 }