changeset 2821:95010b414003

* xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it knows something has changed.
author Jim Blandy <jimb@redhat.com>
date Sun, 16 May 1993 01:32:11 +0000
parents 37954061f933
children 153a269b1315
files src/xfaces.c
diffstat 1 files changed, 11 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xfaces.c	Sun May 16 00:53:57 1993 +0000
+++ b/src/xfaces.c	Sun May 16 01:32:11 1993 +0000
@@ -917,6 +917,17 @@
       UNBLOCK_INPUT;
     }
 
+  /* If we're modifying either of the frame's display faces, that
+     means that we're changing the parameters of a fixed face code;
+     since the color/font/whatever is changed but the face ID hasn't,
+     redisplay won't know to redraw the affected sections.  Give it a
+     kick.  */
+  if (id == 0 || id == 1)
+    SET_FRAME_GARBAGED (f);
+  else
+    /* Otherwise, it's enough to tell it to redisplay the text.  */
+    windows_or_buffers_changed = 1;
+
   return Qnil;
 }