From 64421b63fc3cc61368eb03148411d35ae8df194f Mon Sep 17 00:00:00 2001
From: "Kim F. Storm" <storm@cua.dk>
Date: Sat, 16 Feb 2002 23:54:42 +0000
Subject: [PATCH] (struct x_display_info): Add mouse_face_hidden.

---
 src/xterm.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/xterm.h b/src/xterm.h
index abf7a824ee8..946b94734ad 100644
--- a/src/xterm.h
+++ b/src/xterm.h
@@ -223,6 +223,9 @@ struct x_display_info
   /* 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;
-- 
2.39.2