diff 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
line wrap: on
line diff