changeset 37984:6742591013d0

(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.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 02 Jun 2001 19:18:32 +0000
parents 081777df34a7
children 7dcc8602ed82
files src/xterm.c
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xterm.c	Sat Jun 02 06:28:37 2001 +0000
+++ b/src/xterm.c	Sat Jun 02 19:18:32 2001 +0000
@@ -7696,6 +7696,7 @@
   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;
 }