mirror of
https://github.com/brl/mutter.git
synced 2025-01-22 17:38:56 +00:00
eed368ee91
Some events such as the proximity one requires a device to be set before we process them, so ensure we process the event details after we've added the device to the seat. This may lead to handle a device-removed signal before the clutter event but it's anyways not different from what we did before commit 012c0a18 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1779>