Carlos Garnacho 34710eabc0 clutter/event: Do not filter out DEVICE_ADDED/REMOVED events
These devices in x11 are "disabled", that doesn't mean we should refrain
from notifying about them.

https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1553
2020-11-07 10:12:49 +01:00
..
2020-10-06 15:34:46 +00:00
2020-10-06 15:34:46 +00:00
2020-04-15 12:56:34 +00:00
2020-10-06 15:34:46 +00:00
2020-10-26 09:56:42 -03:00