Fix support of 'mouse-highlight' on MS-Windows console

* src/w32inevt.c (w32_console_read_socket): Support numerical
value of 'mouse-highlight'.  (Bug#78218)

(cherry picked from commit c31f23016c6db449c646c12352e9207a19f5b70f)

diff --git a/src/w32inevt.c b/src/w32inevt.c
index b0e6b5a92864456f4b18e536fbfe51c1abdf9b64..9e3c3a754465063d2a4d06bccaffc195128bb2a1 100644 (file)
--- a/src/w32inevt.c
+++ b/src/w32inevt.c
@@ -812,7 +812,16 @@ w32_console_read_socket (struct terminal *terminal,
                  add = 1;
                }
              if (add)
-               kbd_buffer_store_event_hold (&inev, hold_quit);
+               {
+                 Mouse_HLInfo *hlinfo =
+                   &terminal->display_info.tty->mouse_highlight;
+                 if (!hlinfo->mouse_face_hidden && FIXNUMP (Vmouse_highlight))
+                   {
+                     clear_mouse_face (hlinfo);
+                     hlinfo->mouse_face_hidden = true;
+                   }
+                 kbd_buffer_store_event_hold (&inev, hold_quit);
+               }
              break;
 
             case MOUSE_EVENT: