From 874a5a6d58b4c95513197d000f0abfde1fbb542e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Wed, 16 Nov 2022 13:14:15 +0100 Subject: [PATCH] clutter: Also handle DEVICE_REMOVED events filtered out by event filter With commit 6c17aa66c6d76d496d3a7614d84eeefe25647a16 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: --- clutter/clutter/clutter-main.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/clutter/clutter/clutter-main.c b/clutter/clutter/clutter-main.c index d795a6d0a..ab59048e1 100644 --- a/clutter/clutter/clutter-main.c +++ b/clutter/clutter/clutter-main.c @@ -803,7 +803,8 @@ clutter_do_event (ClutterEvent *event) g_slist_delete_link (context->current_event, context->current_event); 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); maybe_remove_device_for_event (event->any.stage, event, TRUE);