diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 06:16:10 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 06:19:57 +0000 |
commit | c12d383974530ff928699dd98b424824bf21962d (patch) | |
tree | b3304eeafe0342bfe58827e9507443c5dde167e0 /extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me | |
parent | Releasing debian version 20231210-2. (diff) | |
download | gnome-shell-extensions-extra-c12d383974530ff928699dd98b424824bf21962d.tar.xz gnome-shell-extensions-extra-c12d383974530ff928699dd98b424824bf21962d.zip |
Merging upstream version 20240414 (Closes: #1067433).
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me')
2 files changed, 24 insertions, 0 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 new file mode 100644 index 0000000..a814f54 --- /dev/null +++ b/extensions/46/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; + } +} diff --git a/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json b/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json new file mode 100644 index 0000000..045e7e2 --- /dev/null +++ b/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json @@ -0,0 +1,10 @@ +{ + "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", "46" + ] +} |