# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 979589656 0
# Node ID 1f5511b1d5eabe97606713791293e0489f281765
# Parent  9199190adb773a5152d6ebc8a0b96edd76e90f72
(x_set_mouse_face_gc): If the last use mouse face
has gone in the meantime, use face MOUSE_FACE_ID.

diff -r 9199190adb77 -r 1f5511b1d5ea src/xterm.c
--- 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