pederbs/config
2
2
Fork 0
Code Issues Pull Requests Releases Activity

pip

Browse Source
This commit is contained in:
Peder Bergebakken Sundt
2026-02-16 14:56:13 +01:00
parent d0b56282a3
commit 6d889acf93
2 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
users/pbsds/home/profiles/desktop/gnome/dconf-gnome-extensions.nix
View File

@@ -107,5 +107,9 @@ with lib.hm.gvariant;
window-demands-attention-focus = false;
};
"org/gnome/shell/extensions/pip-on-top" = {
stick = true;
};
};
}

1
users/pbsds/home/profiles/desktop/gnome/dconf-pull.sh
View File

@@ -31,6 +31,7 @@ dump1() {
dump "org/gnome/shell/extensions/big-avatar"
dump "org/gnome/shell/extensions/gtile"
dump "org/gnome/shell/extensions/just-perfection"
dump "org/gnome/shell/extensions/pip-on-top"
} | dconf2nix > dconf-gnome-extensions.nix
{