mirror of
https://gitlab.freedesktop.org/xorg/xserver.git
synced 2026-01-20 13:40:25 +01: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. |
||
|---|---|---|
| .. | ||
| config.c | ||
| Makefile.am | ||
| xorg-server.conf | ||