diff oldXMenu/Recomp.c @ 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 bbce331da1be
children 23a1cea22d13
line wrap: on
line diff