Richard M. Stallman 85c922901f (mouse-avoidance-timer): New variable. ...

(mouse-avoidance-mode): Create or cancel a time,
instead of using post-command-idle-hook.

1997-08-12 18:20:00 +00:00

14 KiB

Raw Blame History

View Raw