Fix integer-valued `mouse-highlight' (Bug#20590)
commitf89080d18dd64e0c92c5f3d206182d65f23eafeb
authorJohan Bockgård <bojohan@gnu.org>
Sat, 16 May 2015 20:47:30 +0000 (16 22:47 +0200)
committerJohan Bockgård <bojohan@gnu.org>
Sun, 17 May 2015 15:43:24 +0000 (17 17:43 +0200)
tree0a3da3c36267c89d340bdd136be8b1cf49cb8867
parenta0cfd563d26661ce2a509e525487644fd421966b
Fix integer-valued `mouse-highlight' (Bug#20590)

* src/xterm.c (handle_one_xevent) [USE_GTK]: Fix ifdef scope.
src/xterm.c