diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2020-09-25 18:51:37 +0200 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2020-09-30 17:46:39 +0200 |
commit | 56e6717bebd2f6bc642ff44a38ffc65fdc888f6c (patch) | |
tree | 694df9e5430450cd7daeb8bcada7582b79ea87e0 | |
parent | 6e9178d9af97376b87f5ca51fe26dcc16a3ed89c (diff) | |
download | mutter-wip/carlosg/ignore-device-events.tar.gz |
backends: Ensure to clear the last updated device on device removalwip/carlosg/ignore-device-events
If the last updated device is removed, ensure that it does result in
a ::last-device-changed with a NULL device.
https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1403
-rw-r--r-- | src/backends/meta-backend.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/backends/meta-backend.c b/src/backends/meta-backend.c index 2ecbfe741..97c771407 100644 --- a/src/backends/meta-backend.c +++ b/src/backends/meta-backend.c @@ -456,6 +456,9 @@ on_device_removed (ClutterSeat *seat, !has_touchscreen); } } + + if (priv->current_device == device) + meta_backend_update_last_device (backend, NULL); } static void |