Fix last fix of note_mouse_highlight
authorMartin Rudalics <rudalics@gmx.at>
Wed, 5 Feb 2014 18:37:36 +0000 (19:37 +0100)
committerMartin Rudalics <rudalics@gmx.at>
Wed, 5 Feb 2014 18:37:36 +0000 (19:37 +0100)
commit81f9a6edde971d8ec7d31cab03a766feb6ae074b
tree08c5abfc1714fbe75998ff61034054ca1ffb720c
parent658272052d53ac372e8ff7434271b7a68cdb3af6
Fix last fix of note_mouse_highlight
src/xdisp.c