changeset 43372:e1a8a3f02251

(struct w32_display_info): Add mouse_face_hidden.
author Kim F. Storm <storm@cua.dk>
date Sat, 16 Feb 2002 23:58:23 +0000
parents 263456abbeb0
children 44e2e2c9154f
files src/w32term.h
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32term.h	Sat Feb 16 23:57:34 2002 +0000
+++ b/src/w32term.h	Sat Feb 16 23:58:23 2002 +0000
@@ -195,6 +195,9 @@
   /* Nonzero means defer mouse-motion highlighting.  */
   int mouse_face_defer;
 
+  /* Nonzero means that the mouse highlight should not be shown.  */
+  int mouse_face_hidden;
+
   int mouse_face_image_state;
 
   char *w32_id_name;