From 867756d80a78707fcb32e8aae7403810cbc5ae6f Mon Sep 17 00:00:00 2001
From: "Kim F. Storm" <storm@cua.dk>
Date: Mon, 5 Apr 2004 21:54:43 +0000
Subject: [PATCH] (clear_mouse_face): Only clear mouse highlight if not hidden.

---
 src/xdisp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xdisp.c b/src/xdisp.c
index 6711eb242ce..9c0434a681d 100644
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -19832,7 +19832,7 @@ clear_mouse_face (dpyinfo)
 {
   int cleared = 0;
 
-  if (!NILP (dpyinfo->mouse_face_window))
+  if (!dpyinfo->mouse_face_hidden && !NILP (dpyinfo->mouse_face_window))
     {
       show_mouse_face (dpyinfo, DRAW_NORMAL_TEXT);
       cleared = 1;
-- 
2.39.5