(IT_note_mouse_highlight): Don't use mouse-face if hidden.

diff --git a/src/msdos.c b/src/msdos.c
index 7614c8b2a7a334b72f329e05a7c132fe40e619d7..2b9a10dbda58b2c154e75c0efd8cb23854724040 100644 (file)
--- a/src/msdos.c
+++ b/src/msdos.c
@@ -1673,7 +1673,8 @@ IT_note_mouse_highlight (struct frame *f, int x, int y)
                dpyinfo->mouse_face_window = window;
                dpyinfo->mouse_face_face_id
                  = face_at_buffer_position (w, pos, 0, 0,
-                                            &ignore, pos + 1, 1);
+                                            &ignore, pos + 1,
+                                            !dpyinfo->mouse_face_hidden);
 
                /* Display it as active.  */
                show_mouse_face (dpyinfo, 1);
@@ -1707,7 +1708,8 @@ IT_note_mouse_highlight (struct frame *f, int x, int y)
                dpyinfo->mouse_face_window = window;
                dpyinfo->mouse_face_face_id
                  = face_at_buffer_position (w, pos, 0, 0,
-                                            &ignore, pos + 1, 1);
+                                            &ignore, pos + 1,
+                                            !dpyinfo->mouse_face_hidden);
 
                /* Display it as active.  */
                show_mouse_face (dpyinfo, 1);