# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770295440 0
# Node ID 7b1a7e4c7694dfcc486acb63771071cf85711b6f
# Parent  422b83beb0156d3df728e6fcb1b726e25370bc7d
(redisplay): If have window change at end, redisplay again.

diff -r 422b83beb015 -r 7b1a7e4c7694 src/xdisp.c
--- a/src/xdisp.c	Mon May 30 10:41:53 1994 +0000
+++ b/src/xdisp.c	Mon May 30 10:57:20 1994 +0000
@@ -841,6 +841,11 @@
 
   /* Change frame size now if a change is pending.  */
   do_pending_window_change ();
+
+  /* If we just did a pending size change, redisplay again
+     for the new size.  */
+  if (windows_or_buffers_changed)
+    redisplay ();
 }
 
 /* Redisplay, but leave alone any recent echo area message