# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 791974346 0
# Node ID e1dfb47b664e450a0ed95bf7a00ff9317aa9b544
# Parent  4e7da2fc451b9fe4d348c4c0e421c2093046cd4b
(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.

diff -r 4e7da2fc451b -r e1dfb47b664e src/window.c
--- 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.  */