changeset 35315:1f5511b1d5ea

(x_set_mouse_face_gc): If the last use mouse face has gone in the meantime, use face MOUSE_FACE_ID.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 15 Jan 2001 20:14:16 +0000
parents 9199190adb77
children fa4ab94661f2
files src/xterm.c
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xterm.c	Mon Jan 15 17:44:14 2001 +0000
+++ b/src/xterm.c	Mon Jan 15 20:14:16 2001 +0000
@@ -2661,9 +2661,12 @@
   int face_id;
   struct face *face;
 
-  /* What face has to be used for the mouse face?  */
+  /* What face has to be used last for the mouse face?  */
   face_id = FRAME_X_DISPLAY_INFO (s->f)->mouse_face_face_id;
   face = FACE_FROM_ID (s->f, face_id);
+  if (face == NULL)
+    face = FACE_FROM_ID (s->f, MOUSE_FACE_ID);
+  
   if (s->first_glyph->type == CHAR_GLYPH)
     face_id = FACE_FOR_CHAR (s->f, face, s->first_glyph->u.ch);
   else