rope/nixos
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update home.nix

Browse source
This commit is contained in:
ediblerope 2025-12-08 12:12:41 +00:00 • committed by GitHub
parent 49fb2fce64
commit c77673794d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 14 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

12
home-manager/home.nix
View file

@ -67,14 +67,14 @@
# Rounded Window Corners extension
"org/gnome/shell/extensions/rounded-window-corners-reborn/global-rounded-corner-settings" = {
padding = lib.hm.gvariant.mkDictionaryEntry [
[ "left" (lib.hm.gvariant.mkUint32 2) ]
[ "right" (lib.hm.gvariant.mkUint32 2) ]
[ "top" (lib.hm.gvariant.mkUint32 2) ]
[ "bottom" (lib.hm.gvariant.mkUint32 2) ]
(lib.hm.gvariant.mkDictionaryEntry [ "left" (lib.hm.gvariant.mkUint32 2) ])
(lib.hm.gvariant.mkDictionaryEntry [ "right" (lib.hm.gvariant.mkUint32 2) ])
(lib.hm.gvariant.mkDictionaryEntry [ "top" (lib.hm.gvariant.mkUint32 2) ])
(lib.hm.gvariant.mkDictionaryEntry [ "bottom" (lib.hm.gvariant.mkUint32 2) ])
];
keepRoundedCorners = lib.hm.gvariant.mkDictionaryEntry [
[ "maximized" true ]
[ "fullscreen" true ]
(lib.hm.gvariant.mkDictionaryEntry [ "maximized" true ])
(lib.hm.gvariant.mkDictionaryEntry [ "fullscreen" true ])
];
borderRadius = lib.hm.gvariant.mkUint32 7;
smoothing = 0.0;