gnome/gnome-shell-extensions-extra
1
0
Fork 0
Code Issues Activity

Merging upstream version 20250212.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-12 16:21:31 +01:00
parent ad845f6499
commit 0a7a7dc344
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
192 changed files with 32577 additions and 3262 deletions
Download patch file Download diff file Expand all files Collapse all files

14
extensions/48/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js Normal file
View file

@ -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;
}
}