Merging upstream version 20231210.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

2 files changed, 24 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;
+    }
+}
diff --git a/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json b/extensions/45/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json
new file mode 100644
index 0000000..6c83096
--- /dev/null
+++ b/extensions/45/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"
+  ]
+}