diff make-dist @ 21017:1ecfba12016a

(XTframe_up_to_date): Check that mouse_face_mouse_frame is non-null before calling note_mouse_highlight. (x_destroy_window): If f equals mouse_face_mouse_frame, clear that, and clear mouse_face_deferred_gc too.
author Richard M. Stallman <rms@gnu.org>
date Mon, 02 Mar 1998 18:53:21 +0000
parents 17bcec31f3d4
children 70301d94ce1e
line wrap: on
line diff