comparison src/xfaces.c @ 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 9a6c8d10ac5f
children ccf489f8596e
comparison
equal deleted inserted replaced
15991:ae72a4c02f31 15992:fb5a22197a8d
1211 because it's possible that a merged (display) face 1211 because it's possible that a merged (display) face
1212 contains the font or color we just replaced. 1212 contains the font or color we just replaced.
1213 And we must inhibit any Expose events until the redraw is done, 1213 And we must inhibit any Expose events until the redraw is done,
1214 since they would try to use the invalid display faces. */ 1214 since they would try to use the invalid display faces. */
1215 if (garbaged) 1215 if (garbaged)
1216 SET_FRAME_GARBAGED (f); 1216 {
1217 SET_FRAME_GARBAGED (f);
1218 FRAME_X_DISPLAY_INFO (f)->mouse_face_defer = 1;
1219 }
1217 1220
1218 return Qnil; 1221 return Qnil;
1219 } 1222 }
1220 1223
1221 DEFUN ("internal-next-face-id", Finternal_next_face_id, Sinternal_next_face_id, 1224 DEFUN ("internal-next-face-id", Finternal_next_face_id, Sinternal_next_face_id,