sync adjustment to current active workspace

In case the workspace context has changed
This commit is contained in:
Bruce Leidl 2024-05-06 18:28:49 -04:00
parent 05033e0c51
commit 69e1602a94

View File

@ -518,6 +518,9 @@ class WorkspacesView extends WorkspacesViewBase {
this._workspaces.splice(j, 1); this._workspaces.splice(j, 1);
} }
this._scrollAdjustment.value =
workspaceManager.get_active_workspace_index();
this._updateWorkspacesState(); this._updateWorkspacesState();
this._updateVisibility(); this._updateVisibility();
this._raiseActiveWorkspace(); this._raiseActiveWorkspace();