diff options
author | Sebastian Keller <skeller@gnome.org> | 2023-03-01 21:48:45 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2023-03-19 12:18:36 +0100 |
commit | 42d5901e7d97aab22dd586a2bf2e57985c8b2225 (patch) | |
tree | 8f2bf79d2d2ab6ce74b89f7fe013ecd0529d0ec7 | |
parent | b2566d84ad14545df66726624f94587a0f59950e (diff) | |
download | gnome-shell-42d5901e7d97aab22dd586a2bf2e57985c8b2225.tar.gz |
overview: Hide when failing to take grab at end of startup animation
Otherwise keyboard input would be going to whatever window was
preventing us from taking the grab while it is obscured by the overview.
(cherry picked from commit 56478f21e6641478f7509527fd3ed40169b2ec67)
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2705>
-rw-r--r-- | js/ui/overview.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/ui/overview.js b/js/ui/overview.js index 254dc8edb..de6dc6678 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -690,6 +690,7 @@ var Overview = class { if (!this._syncGrab()) { callback(); + this.hide(); return; } |