# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1081202057 0
# Node ID 4031909001d5f78bc496bfe0afa2dc704028c0ac
# Parent  c33e4ac43939f4465fe29543d865947c08b34514
(w32_read_socket): Set mouse_face_hidden after clearing highlight.

diff -r c33e4ac43939 -r 4031909001d5 src/w32term.c
--- 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);