Hide the mouse cursor when we get keyboard events. Use a different mouse vte_0_3_10
authorNalin Dahyabhai <nalin@src.gnome.org>
Mon, 6 May 2002 23:14:27 +0000 (23:14 +0000)
committerNalin Dahyabhai <nalin@src.gnome.org>
Mon, 6 May 2002 23:14:27 +0000 (23:14 +0000)
commit08b8caa553cf20f9fd7e40b1a1bd8c85294f438b
treef9d3f5f5f8463df7c57388e418c56d8172c0fc57
parent14b0aa82214da4bfc5243be3ab8c097924d69528
Hide the mouse cursor when we get keyboard events. Use a different mouse

* src/vte.c: Hide the mouse cursor when we get keyboard events.  Use a
different mouse cursor if the child is mouse-aware.  Handle eA() by
treating it as as().
* src/vte.c, src/vte.h: Allow enabling/disabling of mouse autohide.
ChangeLog
README
src/vte.c
src/vte.h
src/vteapp.c
vte.spec