More thorough fix of bug #15913 with mouse-highlight on MS-Windows.
authorEli Zaretskii <eliz@gnu.org>
Fri, 29 Nov 2013 08:53:50 +0000 (10:53 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 29 Nov 2013 08:53:50 +0000 (10:53 +0200)
commitb7f79a5c4f0fc6d0ce4268249b4f247bd28c051f
treef0bc24a77697b4cafd63f525c30ad4446eac6ae5
parent49faeaaf89c820082ba816d089fab5711c9d2b06
More thorough fix of bug #15913 with mouse-highlight on MS-Windows.

 src/xdisp.c (clear_mouse_face): Don't invalidate the entire
 mouse-highlight info, just signal frame_up_to_date_hook that mouse
 highlight needs to be redisplayed.
src/ChangeLog
src/xdisp.c