comparison 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
comparison
equal deleted inserted replaced
37983:081777df34a7 37984:6742591013d0