comparison =PROBLEMS @ 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 507f64624555
children
comparison
equal deleted inserted replaced
37983:081777df34a7 37984:6742591013d0