# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1076282377 0
# Node ID 8454bbf234cb93f134724b796954af11b2dfd3c1
# Parent  94e08e9831b02c8b9613c5e6096058f15233c983
(struct frame): New member force_flush_display_p.

diff -r 94e08e9831b0 -r 8454bbf234cb src/frame.h
--- a/src/frame.h	Sun Feb 08 23:19:25 2004 +0000
+++ b/src/frame.h	Sun Feb 08 23:19:37 2004 +0000
@@ -452,6 +452,10 @@
      Clear the frame in clear_garbaged_frames if set.  */
   unsigned resized_p : 1;
 
+  /* Set to non-zero in when we want for force a flush_display in
+     update_frame, usually after resizing the frame.  */
+  unsigned force_flush_display_p : 1;
+
   /* Set to non-zero if the default face for the frame has been
      realized.  Reset to zero whenever the default face changes.
      Used to see the difference between a font change and face change.  */