clutter: Also handle DEVICE_REMOVED events filtered out by event filter

With commit 6c17aa66c6 we made sure no
stale device entries might land in the stage device list. The same can
happen for pointer devices too in theory, in practice we never really
filter them out, but it's good to handle them here anyway.

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2696>
This commit is contained in:
Jonas Dreßler 2022-11-16 13:14:15 +01:00 committed by Marge Bot
parent 2d85e84136
commit 874a5a6d58

View File

@ -803,7 +803,8 @@ clutter_do_event (ClutterEvent *event)
g_slist_delete_link (context->current_event, context->current_event); g_slist_delete_link (context->current_event, context->current_event);
if (event->type == CLUTTER_TOUCH_END || if (event->type == CLUTTER_TOUCH_END ||
event->type == CLUTTER_TOUCH_CANCEL) event->type == CLUTTER_TOUCH_CANCEL ||
event->type == CLUTTER_DEVICE_REMOVED)
{ {
_clutter_stage_process_queued_events (event->any.stage); _clutter_stage_process_queued_events (event->any.stage);
maybe_remove_device_for_event (event->any.stage, event, TRUE); maybe_remove_device_for_event (event->any.stage, event, TRUE);