[no subject]

[RMS at MIT-AI (Richard M. Stallman)]

I agree thht it should be possible to hide the mouse completely, but
that should not be done by moving the mouse.  It woull be too easy to
hide the mouse accidentallly and not be able to find it again.
I would suggest a keyboard command to hide the mouse.  It would stay
hidden until moved more than a certain distance, whereupon it would
reappear wherever it was.  Another reason why it shoull be a keyboard
command is that, if you want to hide the mouse, yo must be using te
keyboard, so it would be easier to use a keyboard command than to move
the mouse.