diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:02:51 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:02:51 +0000 |
commit | 38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331 (patch) | |
tree | ce0a90ded587c944b91104ca6aeaae96cfaa9f7b /extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me | |
parent | Releasing version 20230618. (diff) | |
download | gnome-shell-extensions-extra-38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331.tar.xz gnome-shell-extensions-extra-38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331.zip |
Moving current extensions to subdirectory for GNOME 44 as GNOME Shell 45 is backwards incompatible (see Debian #1052112).
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me')
2 files changed, 0 insertions, 33 deletions
diff --git a/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js b/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js deleted file mode 100644 index e805c3b..0000000 --- a/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js +++ /dev/null @@ -1,21 +0,0 @@ -'use strict' - -const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup.WorkspaceSwitcherPopup; - -class Extension { - constructor() { - this.originalWorkspaceSwitcherPopup_display = WorkspaceSwitcherPopup.prototype.display; - } - - enable() { - WorkspaceSwitcherPopup.prototype.display = () => {}; - } - - disable() { - WorkspaceSwitcherPopup.prototype.display = this.originalWorkspaceSwitcherPopup_display; - } -} - -function init() { - return new Extension(); -} diff --git a/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json b/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json deleted file mode 100644 index 68f10c5..0000000 --- a/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json +++ /dev/null @@ -1,12 +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": [ - "42", - "43", - "44" - ] -} |