changeset 7752:7b1a7e4c7694

(redisplay): If have window change at end, redisplay again.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 May 1994 10:57:20 +0000
parents 422b83beb015
children 198dd616a588
files src/xdisp.c
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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