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

Adding upstream version 20231210.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-09 23:15:44 +01:00
parent f8854b5650
commit 2ac30c34a3
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
273 changed files with 25892 additions and 8304 deletions
Download patch file Download diff file Expand all files Collapse all files

21
extensions/44/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();
}

12
extensions/44/disable-workspace-switcher/disable-workspace-switcher@jbradaric.me/metadata.json Normal file
View file

@ -0,0 +1,12 @@
{
"name": "Disable Workspace Switcher",
"description": "Disable the workspace switcher popup.",
"version": 1,
"uuid": "disable-workspace-switcher@jbradaric.me",
"url": "https://github.com/jbradaric/disable-workspace-switcher",
"shell-version": [
"42",
"43",
"44"
]
}