diff --git a/js/ui/workspace.js b/js/ui/workspace.js index a1631a00a..25626fc5e 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -1121,16 +1121,6 @@ const Workspace = new Lang.Class({ } }, - _showAllOverlays: function() { - let currentWorkspace = global.screen.get_active_workspace(); - for (let i = 0; i < this._windows.length; i++) { - let clone = this._windows[i]; - let overlay = this._windowOverlays[i]; - this._showWindowOverlay(clone, overlay, - this.metaWorkspace == null || this.metaWorkspace == currentWorkspace); - } - }, - _hideAllOverlays: function() { for (let i = 0; i < this._windows.length; i++) { let clone = this._windows[i];