diff noleim-Makefile.in @ 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 959f9593632f
children
line wrap: on
line diff