# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 991509512 0
# Node ID 6742591013d0c8704bed7bccbeae120fdff27df1
# Parent  081777df34a797d191048a50f0c6afb8b17f9c6a
(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 -r 081777df34a7 -r 6742591013d0 src/xterm.c
--- 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;
 }