From a7253052777df3bcf4b2abe9367de244cbc35da1 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 14 Apr 2024 08:15:40 +0200 Subject: Adding upstream version 20240414. Signed-off-by: Daniel Baumann --- .../disable-workspace-switcher@jbradaric.me/extension.js | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js (limited to 'extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js') diff --git a/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js b/extensions/46/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js new file mode 100644 index 0000000..a814f54 --- /dev/null +++ b/extensions/46/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; + } +} -- cgit v1.2.3