Fix bug #14558 with turning off mouse-highlight during highlight.
commit817ebfcfde1a40283c173a87ffbe0c1f5cf7ab3a
authorEli Zaretskii <eliz@gnu.org>
Wed, 5 Jun 2013 20:45:34 +0000 (5 23:45 +0300)
committerEli Zaretskii <eliz@gnu.org>
Wed, 5 Jun 2013 20:45:34 +0000 (5 23:45 +0300)
tree5ea992a08c6204e5d9ab0f0c487d9f80ebc7002e
parentfccdc796cfccb428a3535943faa08f4323cacc4b
Fix bug #14558 with turning off mouse-highlight during highlight.

 src/xdisp.c (handle_tool_bar_click): When mouse-highlight is off,
 don't insist on being invoked on a highlighted tool-bar button.
 Avoids losing tool-bar functionality when mouse-highlight is nil.
 (note_tool_bar_highlight, note_mode_line_or_margin_highlight):
 Don't highlight when mouse-highlight is nil.
 (note_mouse_highlight): When mouse-highlight is nil, don't return
 right away; instead, run tool-bar and mode-line highlight
 subroutine, clear any existing highlight, and revert the mouse
 pointer to its default shape.
src/ChangeLog
src/xdisp.c