Age | Commit message (Collapse) | Author |
|
darcs-hash:20081021220059-25a6b-11b9b480bec9d902626f1c0c281333470e76e245
|
|
darcs-hash:20081007203953-25a6b-820e60a7db931a5e5e27ab8736643aea932ca3ec
|
|
darcs-hash:20080714202650-25a6b-294662e9b6b3592f37156af814171d5863557faa
|
|
If the user used the mouse to change window focus (moving into or clicking on a
window), this should be handled differently than focus changes due to keyboard
commands. Specifically, it's inappropriate to discard window enter/leave events
while the mouse is moving. This fixes the bug where a fast mouse motion across
multiple windows resulted in the wrong window keeping focus.
It's also helpful information for contrib modules such as UpdatePointer - it's
supposed to move the mouse pointer only in response to keyboard actions, not if
the user was moving the mouse.
darcs-hash:20080502175603-e41d7-0ac41e5353fcd8aed71ee3beb7f5511337225155
|
|
darcs-hash:20080418184337-cba2c-a316c61d1a56205e8b7a0e7b7573446449e229fe
|
|
darcs-hash:20080406011234-462cf-09fde81185653a210d292b90b02595de7c365bb1
|