diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2020-11-06 17:59:33 +0100 |
---|---|---|
committer | Jonas Ã…dahl <jadahl@gmail.com> | 2020-11-06 21:28:02 +0000 |
commit | 91a69c9e2cbd860e0ed63681e08ded40c8209d30 (patch) | |
tree | aa1e70e7fd0ef37b541320777e9ddca6ddd57143 | |
parent | 8bf399ff0c056e6421631fedcc20d123d6bf4109 (diff) | |
download | mutter-91a69c9e2cbd860e0ed63681e08ded40c8209d30.tar.gz |
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.
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1553>
-rw-r--r-- | clutter/clutter/clutter-event.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clutter/clutter/clutter-event.c b/clutter/clutter/clutter-event.c index f6e458ab0..7de601285 100644 --- a/clutter/clutter/clutter-event.c +++ b/clutter/clutter/clutter-event.c @@ -1494,7 +1494,9 @@ _clutter_event_push (const ClutterEvent *event, device = clutter_event_get_device (event); if (device != NULL) { - if (!clutter_input_device_get_enabled (device)) + if (event->type != CLUTTER_DEVICE_ADDED && + event->type != CLUTTER_DEVICE_REMOVED && + !clutter_input_device_get_enabled (device)) return; } |