Merging upstream version 20231210.

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

1 files changed, 0 insertions, 21 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();
-}