comparison README @ 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 b090b7cc694b
children 206866fa292a
comparison
equal deleted inserted replaced
37983:081777df34a7 37984:6742591013d0