mirror of
https://github.com/brl/mutter.git
synced 2025-02-09 01:54:10 +00:00
![Marco Trevisan (Treviño)](/assets/img/avatar_default.png)
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>