diff src/window.c @ 10666:e1dfb47b664e

(Fdelete_window, set_window_height, set_window_width) (Fsplit_window, Fset_window_configuration): Set FRAME_WINDOW_SIZES_CHANGED to 1 in the frame being changed.

--- a/src/window.c	Sun Feb 05 08:52:03 1995 +0000
+++ b/src/window.c	Sun Feb 05 08:52:26 1995 +0000
@@ -753,6 +753,7 @@
   par = XWINDOW (parent);
 
   windows_or_buffers_changed++;
+  FRAME_WINDOW_SIZES_CHANGED (XFRAME (WINDOW_FRAME (p))) = 1;
 
   /* Are we trying to delete any frame's selected window?  */
   {
@@ -1606,6 +1607,8 @@
 
   XSETFASTINT (w->last_modified, 0);
   windows_or_buffers_changed++;
+  FRAME_WINDOW_SIZES_CHANGED (XFRAME (WINDOW_FRAME (w))) = 1;
+
   XSETFASTINT (w->height, height);
   if (!NILP (w->hchild))
     {
@@ -1667,6 +1670,8 @@
 
   XSETFASTINT (w->last_modified, 0);
   windows_or_buffers_changed++;
+  FRAME_WINDOW_SIZES_CHANGED (XFRAME (WINDOW_FRAME (w))) = 1;
+
   XSETFASTINT (w->width, width);
   if (!NILP (w->vchild))
     {
@@ -2149,6 +2154,7 @@
      if we are making side-by-side windows */
 
   windows_or_buffers_changed++;
+  FRAME_WINDOW_SIZES_CHANGED (XFRAME (WINDOW_FRAME (o))) = 1;
   new = make_window ();
   p = XWINDOW (new);
 
@@ -2844,6 +2850,7 @@
 #endif
 
       windows_or_buffers_changed++;
+      FRAME_WINDOW_SIZES_CHANGED (f) = 1;
 
       /* Temporarily avoid any problems with windows that are smaller
 	 than they are supposed to be.  */