summaryrefslogtreecommitdiffstats
path: root/extensions/44/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/44/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/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me')
-rw-r--r--extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js21
-rw-r--r--extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json12
2 files changed, 33 insertions, 0 deletions
diff --git a/extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js b/extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js
new file mode 100644
index 0000000..e805c3b
--- /dev/null
+++ b/extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js
@@ -0,0 +1,21 @@
+'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/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json b/extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json
new file mode 100644
index 0000000..68f10c5
--- /dev/null
+++ b/extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json
@@ -0,0 +1,12 @@
+{
+ "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"
+ ]
+}