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

Adding disable-workspace-switcher version 2 [8d94260].

Browse source 
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
This commit is contained in:
Daniel Baumann 2024-04-08 18:00:33 +02:00
parent e3b23bd8e0
commit 86575dad63
No known key found for this signature in database
GPG key ID: 2F8ED65E240B6081
4 changed files with 707 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

21
disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/extension.js Normal file
View file

@ -0,0 +1,21 @@
'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();
}