From 3713a4d3bf8ae2df7d02e63b5b827353e5121d19 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 5 Feb 2023 09:57:47 +0100 Subject: Merging upstream version 20230205. Signed-off-by: Daniel Baumann --- .../extension.js | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js (limited to 'disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js') diff --git a/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js b/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js deleted file mode 100644 index e805c3b..0000000 --- a/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(); -} -- cgit v1.2.3