(note_mouse_highlight): Don't change the mouse cursor
authorGerd Moellmann <gerd@gnu.org>
Wed, 9 May 2001 15:38:04 +0000 (15:38 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 9 May 2001 15:38:04 +0000 (15:38 +0000)
commit0d487c52addabece10e30de0ffcfd7ec0004ee7c
treec4f384ba531d91774627b96c6f04246ac8665d42
parentc533a7e29a5760a65f1f51069db3981c9014fe52
(note_mouse_highlight): Don't change the mouse cursor
back to the text cursor shape without need.
src/ChangeLog
src/xterm.c