(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.

diff --git a/src/ChangeLog b/src/ChangeLog
index 7a369bd581ec87a2008690188826de317935b698..6bd268132169e85b06d48eb1d4520fd3629536f1 100644 (file)
--- 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 f6f3f59979830b9b449a1d870cc24ef445c1f483..1715b08c6d011cd10be8616665fc9dc8a93a833d 100644 (file)
--- 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;
 }