summaryrefslogtreecommitdiffstats
path: root/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js
diff options
context:
space:
mode:
Diffstat (limited to 'extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js')
-rw-r--r--extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js14
1 files changed, 0 insertions, 14 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;
- }
-}