-
Richard M. Stallman authored
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.
21323706
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.