From 89574abc83b9a90076f213bda5b0705f483d1d7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Tue, 7 Jul 2020 11:21:02 +0200 Subject: [PATCH] windowPreview: Remove slotId property We're no longer using that property, so clean up a bit and remove the last occurences of it. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1351 --- js/ui/windowPreview.js | 1 - js/ui/workspace.js | 2 -- 2 files changed, 3 deletions(-) diff --git a/js/ui/windowPreview.js b/js/ui/windowPreview.js index c5510e4c1..48d42c87d 100644 --- a/js/ui/windowPreview.js +++ b/js/ui/windowPreview.js @@ -229,7 +229,6 @@ var WindowPreview = GObject.registerClass({ this._delegate = this; - this.slotId = 0; this._stackAbove = null; this._windowContainer.layout_manager.connect( diff --git a/js/ui/workspace.js b/js/ui/workspace.js index d2bbfc299..e1b5ea7a8 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -601,8 +601,6 @@ var WorkspaceLayout = GObject.registerClass({ const [x, y, width, height] = this._windowSlots[index]; const windowInfo = this._windows.get(child); - child.slotId = index; - if (windowInfo.metaWindow.showing_on_its_workspace()) { workspaceBox.x1 = child.boundingBox.x - this._workarea.x; workspaceBox.x2 = workspaceBox.x1 + child.boundingBox.width;