diff --git a/js/ui/workspace.js b/js/ui/workspace.js index ddd043110..66058b93d 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -1417,10 +1417,6 @@ const Workspace = new Lang.Class({ if (index == -1) return; - // Check if window still should be here - if (win && this._isMyWindow(win)) - return; - let clone = this._windows[index]; this._windows.splice(index, 1); diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js index c11d13bd1..0455a9dd6 100644 --- a/js/ui/workspaceThumbnail.js +++ b/js/ui/workspaceThumbnail.js @@ -367,10 +367,6 @@ const WorkspaceThumbnail = new Lang.Class({ if (index == -1) return; - // Check if window still should be here - if (win && this._isMyWindow(win) && this._isOverviewWindow(win)) - return; - let clone = this._windows[index]; this._windows.splice(index, 1);