changeset 54731:4031909001d5

(w32_read_socket): Set mouse_face_hidden after clearing highlight.
author Kim F. Storm <storm@cua.dk>
date Mon, 05 Apr 2004 21:54:17 +0000
parents c33e4ac43939
children e04c6343cf61
files src/w32term.c
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32term.c	Mon Apr 05 21:54:02 2004 +0000
+++ b/src/w32term.c	Mon Apr 05 21:54:17 2004 +0000
@@ -4245,8 +4245,8 @@
 	    {
 	      if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight))
 		{
+		  clear_mouse_face (dpyinfo);
 		  dpyinfo->mouse_face_hidden = 1;
-		  clear_mouse_face (dpyinfo);
 		}
 
 	      if (temp_index == sizeof temp_buffer / sizeof (short))
@@ -4268,8 +4268,8 @@
 	    {
 	      if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight))
 		{
+		  clear_mouse_face (dpyinfo);
 		  dpyinfo->mouse_face_hidden = 1;
-		  clear_mouse_face (dpyinfo);
 		}
 
 	      if (temp_index == sizeof temp_buffer / sizeof (short))
@@ -4773,7 +4773,7 @@
 		  help_echo_object = help_echo_window = Qnil;
 		  help_echo_pos = -1;
 		}
-	      
+
 	      any_help_event_p = 1;
 	      gen_help_event (help_echo_string, frame, help_echo_window,
 			      help_echo_object, help_echo_pos);