(disable_mouse_highlight): Removed variable.
authorKim F. Storm <storm@cua.dk>
Sat, 16 Feb 2002 23:59:22 +0000 (23:59 +0000)
committerKim F. Storm <storm@cua.dk>
Sat, 16 Feb 2002 23:59:22 +0000 (23:59 +0000)
commit3d26a7c2f0200328ecfa8e0597ea2cbea05a7fbf
tree478df3d6305ea93219985dc12edbdc2f3909d91f
parentf16c05f28c32b7d4481af21882856c7dd2e796b6
(disable_mouse_highlight): Removed variable.
(note_mouse_highlight): Disable highlight if Vmouse_highlight is nil.
(show_mouse_face): Don't show highlight if mouse_face_hidden is set.
(w32_read_socket): Turn mouse_face_hidden off after mouse movement,
and on after keyboard input.
(w32_initialize_display_info): Initialize mouse_face_hidden.
src/w32term.c