changeset 36581:de61c584d4a2

(redisplay_internal): Set windows_or_buffers_changed if face_change_count is non-zero.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 06 Mar 2001 13:50:09 +0000
parents 0fbbfc439d37
children 30246e46027e
files src/xdisp.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Tue Mar 06 13:48:19 2001 +0000
+++ b/src/xdisp.c	Tue Mar 06 13:50:09 2001 +0000
@@ -8032,6 +8032,12 @@
       fonts_changed_p = 0;
     }
 
+  /* If face_change_count is non-zero, init_iterator will free all
+     realized faces, which includes the faces referenced from current
+     matrices.  So, we can't reuse current matrices in this case.  */
+  if (face_change_count)
+    ++windows_or_buffers_changed;
+
   if (! FRAME_WINDOW_P (sf)
       && previous_terminal_frame != sf)
     {