diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2023-03-18 17:54:35 +0100 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2023-04-25 08:07:57 +0000 |
| commit | 2ae0abc1da9635a0c2210b8c67127b86c7fd034b (patch) | |
| tree | df020e00fed77196ad8b36ea44d85cf5015fe665 | |
| parent | f392bf9e3c8b652a191a30d7f68a667f8dc403ba (diff) | |
| download | gnome-shell-2ae0abc1da9635a0c2210b8c67127b86c7fd034b.tar.gz | |
workspacesView: Update visibility after updating workspaces
When the number of workspaces changes, it is possible that one
of the visible (non-active) workspaces is removed, and another
invisible workspace moves in its place.
Make sure that workspaces are shown as necessary in this case.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6519
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2699>
(cherry picked from commit 95386a14235155e4390253c77ede8877b525b9e3)
| -rw-r--r-- | js/ui/workspacesView.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index 511847250..660fcf624 100644 --- a/js/ui/workspacesView.js +++ b/js/ui/workspacesView.js @@ -118,7 +118,6 @@ class WorkspacesView extends WorkspacesViewBase { global.window_manager.connectObject('switch-workspace', this._activeWorkspaceChanged.bind(this), this); - this._updateVisibility(); } _getFirstFitAllWorkspaceBox(box, spacing, vertical) { @@ -465,6 +464,7 @@ class WorkspacesView extends WorkspacesViewBase { } this._updateWorkspacesState(); + this._updateVisibility(); } _activeWorkspaceChanged(_wm, _from, _to, _direction) { |