Skip to content
GitLab
Explore
Sign in
GNOME
Console
Issues
#46
Autohide the pointer
See
https://developer.gnome.org/vte/unstable/VteTerminal.html#vte-terminal-set-mouse-autohide