changeset 17556:c0f8f4264f7a

(x_set_menu_bar_lines): Increment windows_or_buffers_changed.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Apr 1997 04:47:13 +0000
parents 6e2928cff18e
children 3e3f18e8d969
files src/xfns.c
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xfns.c	Fri Apr 25 04:46:19 1997 +0000
+++ b/src/xfns.c	Fri Apr 25 04:47:13 1997 +0000
@@ -1726,6 +1726,9 @@
   else
     nlines = 0;
 
+  /* Make sure we redisplay all windows in this frame.  */
+  windows_or_buffers_changed++;
+
 #ifdef USE_X_TOOLKIT
   FRAME_MENU_BAR_LINES (f) = 0;
   if (nlines)