# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1013903682 0
# Node ID 578ba74970b1d17305ccc03d26e82bdcc16c8e5a
# Parent  7d02c2aeb8fb8daddfe77dd0a626ee3b92de65ec
(struct x_display_info): Add mouse_face_hidden.

diff -r 7d02c2aeb8fb -r 578ba74970b1 src/xterm.h
--- a/src/xterm.h	Sat Feb 16 23:54:04 2002 +0000
+++ b/src/xterm.h	Sat Feb 16 23:54:42 2002 +0000
@@ -223,6 +223,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 *x_id_name;