# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1013904075 0
# Node ID 0bee8a661e552b90a6c38c0131a92ef8a0f9c37d
# Parent  44e2e2c9154f880e622b56101c4761111c1d4e5f
Added mouse-highlight variable to turn off mouse highlight or
only show it after mouse movement.

diff -r 44e2e2c9154f -r 0bee8a661e55 src/ChangeLog
--- a/src/ChangeLog	Sat Feb 16 23:59:22 2002 +0000
+++ b/src/ChangeLog	Sun Feb 17 00:01:15 2002 +0000
@@ -1,3 +1,37 @@
+2002-02-17  Kim F. Storm  <storm@cua.dk>
+
+	* frame.c: (Vmouse_highlight): New variable.
+	(syms_of_frame): DEFVAR_LISP it.
+
+	* frame.h: (Vmouse_highlight): Declare extern.
+
+	* xterm.h (struct x_display_info): Add mouse_face_hidden.
+
+	* xterm.c (disable_mouse_highlight): Removed variable.
+	(note_mouse_highlight): Don't highlight if Vmouse_highlight is nil.
+	(show_mouse_face): Don't show highlight if mouse_face_hidden is	set.
+	(XTread_socket): Turn mouse_face_hidden off after mouse movement,
+	and on after keyboard input.
+	(x_term_init): Initialize mouse_face_hidden.
+
+	* msdos.h (struct display_info): Add mouse_face_hidden.
+
+	* msdos.c (disable_mouse_highlight): Removed variable.
+	(show_mouse_face): Don't show highlight if mouse_face_hidden is	set.
+	(IT_note_mouse_highlight): Don't highlight if Vmouse_highlight is nil.
+	(internal_terminal_init): Initialize mouse_face_hidden.
+	(dos_rawgetc): Turn mouse_face_hidden off after mouse movement,
+	and on after keyboard input.
+
+	* w32term.h (struct w32_display_info): Add mouse_face_hidden.
+
+	* w32term.c (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.
+
 2002-02-16  Eli Zaretskii  <eliz@is.elta.co.il>
 
 	* msdos.c (last_mouse_window): New variable.