diff move-if-change @ 48025:77df00035231

(note_mouse_highlight): Don't use mouse-face if hidden.
author Kim F. Storm <storm@cua.dk>
date Sat, 26 Oct 2002 23:53:07 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff