diff =PROBLEMS @ 6660:cb14d76e993c

(note_mouse_highlight): Do nothing if gc_in_progress. Set mouse_face_deferred_gc when that case arise. (XTframe_up_to_date): If mouse_face_deferred_gc, redo highlighting. (show_mouse_face): Turn off cursor only if it's in the area being manipulated. (XTupdate_begin): Don't turn off highlight if we aren't updating the window that it is in.
author Richard M. Stallman <rms@gnu.org>
date Mon, 04 Apr 1994 00:43:13 +0000
parents 507f64624555
children
line wrap: on
line diff