mirror of
https://github.com/X11Libre/xserver.git
synced 2026-03-28 16:29:51 +00:00
Fix a small race whereby you could remove a device while events from it were still in the queue, by calling ProcessInputEvents immediately before RemoveDevice, to (hopefully) flush the event queue.