Re: [RP] banishing and keypress?

[Joe Corneli]

  I don't see why we couldn't add a command to RP to hide the pointer
  and disregard all mouse input.  That would be very useful: I also
  find myself using "banish" a lot.

Just a thought: is it possible to banish to (1000000,1000000) or
something else similarly remote?  This would make it unlikely that the
point would drift back.  (We might want a complementary "unbanish".)

Joe