diff options
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/xterm.c | 1 |
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; } |