sync adjustment to current active workspace
In case the workspace context has changed
This commit is contained in:
parent
5b10aedeed
commit
fdacdf5cc8
@ -515,6 +515,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();
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user