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-09 12:25:34 +00:00 • committed by GitHub
parent f521355628
commit 4fc734eb2a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
home-manager/home.nix
View file

@ -83,10 +83,10 @@
in { in {
global-rounded-corner-settings = [ global-rounded-corner-settings = [
(mkEntry "padding" (mkDict { (mkEntry "padding" (mkDict {
left = mkUint32 2; left = mkUint32 4;
right = mkUint32 2; right = mkUint32 4;
top = mkUint32 2; top = mkUint32 4;
bottom = mkUint32 2; bottom = mkUint32 4;
})) }))
(mkEntry "keepRoundedCorners" (mkDict { (mkEntry "keepRoundedCorners" (mkDict {