mirror of
https://github.com/brl/mutter.git
synced 2025-01-24 02:19:15 +00:00
c1de33fafe
When processing a motion event, we need to spin the event loop two extra times to ensure that any enter/leave events that might have been synthesized are pumped through (otherwise they end up being pushed down the queue and never processed).