# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 983886609 0
# Node ID de61c584d4a24db2139509a4692311d0e0f8d369
# Parent  0fbbfc439d37d33940dc2288234863802db884a9
(redisplay_internal): Set windows_or_buffers_changed
if face_change_count is non-zero.

diff -r 0fbbfc439d37 -r de61c584d4a2 src/xdisp.c
--- 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)
     {