diff ChangeLog @ 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 d732e11e48ac
children 82db5ca03287
line wrap: on
line diff