diff options
Diffstat (limited to 'extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js')
-rw-r--r-- | extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js b/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js deleted file mode 100644 index a814f54..0000000 --- a/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js +++ /dev/null @@ -1,14 +0,0 @@ -import { Extension } from 'resource:///org/gnome/shell/extensions/extension.js'; -import { WorkspaceSwitcherPopup } from 'resource:///org/gnome/shell/ui/workspaceSwitcherPopup.js'; - -export default class extends Extension { - enable() { - this._originalWorkspaceSwitcherPopup_display = WorkspaceSwitcherPopup.prototype.display; - WorkspaceSwitcherPopup.prototype.display = () => {}; - } - - disable() { - WorkspaceSwitcherPopup.prototype.display = this._originalWorkspaceSwitcherPopup_display; - this._originalWorkspaceSwitcherPopup_display = null; - } -} |