comparison src/w32.c @ 72334:872d10db66d6

* avoid.el (mouse-avoidance-animating-pointer): New var. (mouse-avoidance-nudge-mouse): Use it. (mouse-avoidance-banish): Rename from mouse-avoidance-banish-hook. (mouse-avoidance-exile): Rename from mouse-avoidance-exile-hook (mouse-avoidance-fancy): Rename from mouse-avoidance-fancy-hook. Don't activate if currently animating. All callers changed.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 10 Aug 2006 03:37:29 +0000
parents 95d41ccb4448
children acfcb86a7b5e 7f3f771c85fa
comparison
equal deleted inserted replaced
72333:7190203780ce 72334:872d10db66d6