diff etc/de-refcard.ps @ 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 7fe93ea27cb4
children df2859081c51
line wrap: on
line diff