Adding upstream version 20230205.upstream/20230205

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

2 files changed, 32 insertions, 0 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
new file mode 100644
index 0000000..e805c3b
--- /dev/null
+++ b/extensions/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/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json b/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json
new file mode 100644
index 0000000..cfbf8e5
--- /dev/null
+++ b/extensions/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json
@@ -0,0 +1,11 @@
+{
+  "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"
+  ]
+}