(clear_mouse_face): Reset dpyinfo->mouse_face_overlay as

well otherwise note_mouse_highlight might optimize away highlighting
if we pass over that same overlay again.

2 files changed, 7 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 7a369bd581e..6bd26813216 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2001-06-02  Stefan Monnier  <monnier@cs.yale.edu>
+
+        * xterm.c (clear_mouse_face): Reset dpyinfo->mouse_face_overlay as
+        well otherwise note_mouse_highlight might optimize away highlighting
+        if we pass over that same overlay again.
+
 2001-06-02  Eli Zaretskii  <eliz@is.elta.co.il>
 
         * lread.c (Fload): Document that the argument is run via
diff --git a/src/xterm.c b/src/xterm.c
index f6f3f599798..1715b08c6d0 100644
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -7696,6 +7696,7 @@ clear_mouse_face (dpyinfo)
   dpyinfo->mouse_face_beg_row = dpyinfo->mouse_face_beg_col = -1;
   dpyinfo->mouse_face_end_row = dpyinfo->mouse_face_end_col = -1;
   dpyinfo->mouse_face_window = Qnil;
+  dpyinfo->mouse_face_overlay = Qnil;
   return cleared;
 }