# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1035676410 0
# Node ID d876c83f972ba67fb934c24e2c7491bea1e045ea
# Parent  77df00035231e125e25f598890373f1e7eb76e37
(IT_note_mouse_highlight): Don't use mouse-face if hidden.

diff -r 77df00035231 -r d876c83f972b src/msdos.c
--- a/src/msdos.c	Sat Oct 26 23:53:07 2002 +0000
+++ b/src/msdos.c	Sat Oct 26 23:53:30 2002 +0000
@@ -1673,7 +1673,8 @@
 		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 @@
 		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);