diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 06:15:40 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 06:15:40 +0000 |
commit | a7253052777df3bcf4b2abe9367de244cbc35da1 (patch) | |
tree | 1168b662d8028f172d12c2eb4efc62bf8408434b /extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js | |
parent | Adding upstream version 20231210. (diff) | |
download | gnome-shell-extensions-extra-64c317f72e49904d35ad976e4892aece9929c475.tar.xz gnome-shell-extensions-extra-64c317f72e49904d35ad976e4892aece9929c475.zip |
Adding upstream version 20240414.upstream/20240414upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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.js | 14 |
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; - } -} |