# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 979589685 0
# Node ID fa4ab94661f291ee4e09d662ae6b012d6850297c
# Parent  1f5511b1d5eabe97606713791293e0489f281765
*** empty log message ***

diff -r 1f5511b1d5ea -r fa4ab94661f2 src/ChangeLog
--- a/src/ChangeLog	Mon Jan 15 20:14:16 2001 +0000
+++ b/src/ChangeLog	Mon Jan 15 20:14:45 2001 +0000
@@ -1,5 +1,8 @@
 2001-01-15  Gerd Moellmann  <gerd@gnu.org>
 
+	* xterm.c (x_set_mouse_face_gc): If the last use mouse face
+	has gone in the meantime, use face MOUSE_FACE_ID.
+	
 	* xterm.c (x_connection_closed) [USE_X_TOOLKIT]: If
 	x_display_info_for_display returns null, don't try to close
 	the display; we didn't open it.