diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-12-10 13:32:02 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-12-10 14:44:01 +0000 |
commit | 2705a55fe1128387a1761cae93b1e41ebaeb750d (patch) | |
tree | 87178c5463e34efb0b3847e0559011ec7d49d8e2 /extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js | |
parent | Adding upstream version 20230618. (diff) | |
download | gnome-shell-extensions-extra-2705a55fe1128387a1761cae93b1e41ebaeb750d.tar.xz gnome-shell-extensions-extra-2705a55fe1128387a1761cae93b1e41ebaeb750d.zip |
Adding upstream version 20231210.upstream/20231012
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, 14 insertions, 0 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 new file mode 100644 index 0000000..a814f54 --- /dev/null +++ b/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js @@ -0,0 +1,14 @@ +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; + } +} |