Fix bug #15913 with disappearing mouse highlight on MS-Windows.
authorEli Zaretskii <eliz@gnu.org>
Sun, 17 Nov 2013 21:02:09 +0000 (23:02 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sun, 17 Nov 2013 21:02:09 +0000 (23:02 +0200)
commit96e78d1fb3fd5543c513d5a949c5d52654b6006a
tree5d016637b850dd80890ab4b093ab55be10a1405a
parent1bf65cadc7d088eabad889491df2fea4457ba04f
Fix bug #15913 with disappearing mouse highlight on MS-Windows.

 src/w32term.c (x_update_window_end): 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/w32term.c