From 7292c311e893b6f12677bfea633cbfab5b5d16a2 Mon Sep 17 00:00:00 2001 From: "Kim F. Storm" Date: Mon, 5 Apr 2004 21:54:17 +0000 Subject: [PATCH] (w32_read_socket): Set mouse_face_hidden after clearing highlight. --- src/w32term.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/w32term.c b/src/w32term.c index f69b0860bab..5e81afc7724 100644 --- a/src/w32term.c +++ b/src/w32term.c @@ -4245,8 +4245,8 @@ w32_read_socket (sd, expected, hold_quit) { if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight)) { - dpyinfo->mouse_face_hidden = 1; clear_mouse_face (dpyinfo); + dpyinfo->mouse_face_hidden = 1; } if (temp_index == sizeof temp_buffer / sizeof (short)) @@ -4268,8 +4268,8 @@ w32_read_socket (sd, expected, hold_quit) { if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight)) { - dpyinfo->mouse_face_hidden = 1; clear_mouse_face (dpyinfo); + dpyinfo->mouse_face_hidden = 1; } if (temp_index == sizeof temp_buffer / sizeof (short)) @@ -4773,7 +4773,7 @@ w32_read_socket (sd, expected, hold_quit) 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); -- 2.39.5