Merging upstream version 20231210.

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

1 files changed, 14 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;
+    }
+}