comparison leim/COPYING @ 54730:c33e4ac43939

(clear_mouse_face): Only clear mouse highlight if not hidden. (dos_rawgetc): Set mouse_face_hidden after clearing highlight.
author Kim F. Storm <storm@cua.dk>
date Mon, 05 Apr 2004 21:54:02 +0000
parents 062b946fd386
children d92149473c34
comparison
equal deleted inserted replaced
54729:7bfccd78beed 54730:c33e4ac43939