changeset 48026:d876c83f972b

(IT_note_mouse_highlight): Don't use mouse-face if hidden.
author Kim F. Storm <storm@cua.dk>
date Sat, 26 Oct 2002 23:53:30 +0000
parents 77df00035231
children ad86b7acaeec
files src/msdos.c
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);