Citadel changes to gnome-shell

js/ui/workspacesView.js

@@ -108,6 +108,7 @@ class WorkspacesView extends WorkspacesViewBase {
         this._updateWorkspaces();
         workspaceManager.connectObject(
             'notify::n-workspaces', this._updateWorkspaces.bind(this),
+            'context-switched', this._refreshWorkspaces.bind(this),
             'workspaces-reordered', () => {
                 this._workspaces.sort((a, b) => {
                     return a.metaWorkspace.index() - b.metaWorkspace.index();
@@ -434,6 +435,13 @@ class WorkspacesView extends WorkspacesViewBase {
         }
     }
 
+    _refreshWorkspaces() {
+        for (let ws = this._workspaces.pop(); ws; ws = this._workspaces.pop()) {
+            ws.destroy();
+        }
+        this._updateWorkspaces();
+    }
+
     _updateWorkspaces() {
         let workspaceManager = global.workspace_manager;
         let newNumWorkspaces = workspaceManager.n_workspaces;