Remove WorkspaceGroup override

It didn't seem to have any effect. References #217 (comment)
mzur · Apr 29, 2022 · 6683c38 · 6683c38
1 parent 4c184f7
commit 6683c38
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 46 deletions.
diff --git a/[email protected]/workspacePopup/workspaceAnimation.js b/[email protected]/workspacePopup/workspaceAnimation.js
@@ -250,38 +250,3 @@ var WorkspaceAnimationController = class WorkspaceAnimationController extends GW
         Meta.disable_unredirect_for_display(global.display);
     }
 }
-
-var WorkspaceGroup = class {
-    constructor() {
-        this.originalLayout = null;
-        this._overrideProperties = {
-            _syncStacking() {
-                const windowActors = global.get_window_actors().filter(w =>
-                    this._shouldShowWindow(w.meta_window));
-
-                let lastRecord;
-
-                for (const windowActor of windowActors) {
-                    const record = this._windowRecords.find(r => r.windowActor === windowActor);
-
-                    if (record && lastRecord) {
-                        this.set_child_above_sibling(record.clone, lastRecord ? lastRecord.clone : this._background);
-                        lastRecord = record;
-                    }
-                }
-            },
-        }
-    }
-
-    destroy() {
-        this.restoreOriginalProperties();
-    }
-
-    overrideOriginalProperties() {
-        this.originalLayout = Util.overrideProto(GWorkspaceAnimation.WorkspaceGroup, this._overrideProperties);
-    }
-
-    restoreOriginalProperties() {
-        Util.overrideProto(GWorkspaceAnimation.WorkspaceGroup, this.originalLayout);
-    }
-}
diff --git a/[email protected]/workspacePopup/workspaceManagerOverride.js b/[email protected]/workspacePopup/workspaceManagerOverride.js
@@ -31,7 +31,6 @@ var WorkspaceManagerOverride = class {
             '_workspaceAnimation',
             'handleWorkspaceScroll',
         ];
-        this._overrideWorkspaceGroup();
         this._overrideDynamicWorkspaces();
         this._overrideKeybindingHandlers();
         this._overrideOriginalProperties();
@@ -45,7 +44,6 @@ var WorkspaceManagerOverride = class {
     }
 
     destroy() {
-        this._restoreWorkspaceGroup();
         this._destroyWorkspaceSwitcherPopup();
         this._restoreLayout();
         this._restoreKeybindingHandlers();
@@ -284,15 +282,6 @@ var WorkspaceManagerOverride = class {
         }
     }
 
-    _overrideWorkspaceGroup() {
-        this.overrideWorkspaceGroup = new WorkspaceAnimation.WorkspaceGroup();
-        this.overrideWorkspaceGroup.overrideOriginalProperties();
-    }
-
-    _restoreWorkspaceGroup() {
-        this.overrideWorkspaceGroup.destroy();
-    }
-
     _overrideDynamicWorkspaces() {
         this._mutterSettings.set_boolean('dynamic-workspaces', false);
     }