changeset 15992:fb5a22197a8d

(Fset_face_attribute_internal): Set mouse_face_defer flag.
author Richard M. Stallman <rms@gnu.org>
date Sat, 31 Aug 1996 02:43:52 +0000
parents ae72a4c02f31
children 36d90de737c9
files src/xfaces.c
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xfaces.c	Sat Aug 31 02:34:25 1996 +0000
+++ b/src/xfaces.c	Sat Aug 31 02:43:52 1996 +0000
@@ -1213,7 +1213,10 @@
      And we must inhibit any Expose events until the redraw is done,
      since they would try to use the invalid display faces.  */
   if (garbaged)
-    SET_FRAME_GARBAGED (f);
+    {
+      SET_FRAME_GARBAGED (f);
+      FRAME_X_DISPLAY_INFO (f)->mouse_face_defer = 1;
+    }
 
   return Qnil;
 }