(clear_mouse_face): Reset dpyinfo->mouse_face_overlay as
authorStefan Monnier <monnier@iro.umontreal.ca>
Sat, 2 Jun 2001 19:19:05 +0000 (19:19 +0000)
committerStefan Monnier <monnier@iro.umontreal.ca>
Sat, 2 Jun 2001 19:19:05 +0000 (19:19 +0000)
commit1b85dc1cc5600d3523a5f262d5330d8d5a6aa06d
tree3fb43f9bc164dd3acbbeab20b7966bece7408786
parent0825052e0909694071f76a5c7de994b675a82b7e
(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.
src/ChangeLog
src/xterm.c