For people that like the pointer-hiding features of gnome-terminal and konsole, have a look at the unclutter package. It hides the pointer if it is still for a little while on any window.
As far as I know, the only way to get it is through Debian, but it is easy enough to compile.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds