# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 737515931 0
# Node ID 95010b4140032d25d3a7919368a61164ef27d6b8
# Parent  37954061f9332383cd559bd306af4f574fad3589
	* xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it
	knows something has changed.

diff -r 37954061f933 -r 95010b414003 src/xfaces.c
--- 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;
 }