banish the mouse cursor when typing, show it again when the mouse moves - View it on GitHub