banish the mouse cursor when typing, show it again when the mouse moves