(x_set_mouse_face_gc): If the last use mouse face
commite4ded23c970d2e5061064f85be8c9b559a000320
authorGerd Moellmann <gerd@gnu.org>
Mon, 15 Jan 2001 20:17:27 +0000 (15 20:17 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 15 Jan 2001 20:17:27 +0000 (15 20:17 +0000)
treea4c336dffb8f83b565d8f5776f7c5a5a87c4ed1a
parent4ece8d6132b2caf4a9ecc85c62c3359abb7fc327
(x_set_mouse_face_gc): If the last use mouse face
has gone in the meantime, use face MOUSE_FACE_ID.
etc/TODO
src/ChangeLog
src/xterm.c