# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1013903801 0
# Node ID 9a4630ba3eae3a43f083e3dcbd3a9d22f82d99a5
# Parent  493438ba5e2c679a43ee52eebcf0784fea1af8f1
(struct display_info): Add mouse_face_hidden.

diff -r 493438ba5e2c -r 9a4630ba3eae src/msdos.h
--- a/src/msdos.h	Sat Feb 16 23:55:57 2002 +0000
+++ b/src/msdos.h	Sat Feb 16 23:56:41 2002 +0000
@@ -80,6 +80,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;
 };
 
 /* This is a cut-down version of the one in xterm.h, which see.  */