summaryrefslogtreecommitdiffstats
path: root/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-08 16:02:51 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-08 16:02:51 +0000
commit38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331 (patch)
treece0a90ded587c944b91104ca6aeaae96cfaa9f7b /extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me
parentReleasing version 20230618. (diff)
downloadgnome-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')
-rw-r--r--extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js21
-rw-r--r--extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json12
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"
- ]
-}