changeset 13498:c10046894834

(set_menu_bar_lines): Record the fact that the window configuration changes. (set_menu_bar_lines_1): Mark the window as modified.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Nov 1995 00:49:45 +0000
parents 156eb7abebbd
children 309b1a308079
files src/frame.c
diffstat 1 files changed, 8 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/frame.c	Fri Nov 10 19:12:42 1995 +0000
+++ b/src/frame.c	Sat Nov 11 00:49:45 1995 +0000
@@ -130,6 +130,7 @@
 {
   struct window *w = XWINDOW (window);
 
+  XSETFASTINT (w->last_modified, 0);
   XSETFASTINT (w->top, XFASTINT (w->top) + n);
   XSETFASTINT (w->height, XFASTINT (w->height) - n);
 
@@ -165,8 +166,13 @@
   else
     nlines = 0;
 
-  FRAME_MENU_BAR_LINES (f) = nlines;
-  set_menu_bar_lines_1 (f->root_window, nlines - olines);
+  if (nlines != olines)
+    {
+      windows_or_buffers_changed++;
+      FRAME_WINDOW_SIZES_CHANGED (f) = 1;
+      FRAME_MENU_BAR_LINES (f) = nlines;
+      set_menu_bar_lines_1 (f->root_window, nlines - olines);
+    }
 }
 
 #ifdef MULTI_FRAME