diff options
Diffstat (limited to 'extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me')
2 files changed, 0 insertions, 24 deletions
diff --git a/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js b/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js deleted file mode 100644 index a814f54..0000000 --- a/extensions/45/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; - } -} diff --git a/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json b/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json deleted file mode 100644 index 6c83096..0000000 --- a/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json +++ /dev/null @@ -1,10 +0,0 @@ -{ - "name": "Disable Workspace Switcher", - "description": "Disable the workspace switcher popup.", - "version": 1, - "uuid": "disable-workspace-switcher@jbradaric.me", - "url": "https://github.com/jbradaric/disable-workspace-switcher", - "shell-version": [ - "45" - ] -} |