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

2
home-manager/home.nix
View file

@ -66,7 +66,7 @@
# Rounded Window Corners extension # Rounded Window Corners extension
"/org/gnome/shell/extensions/rounded-window-corners-reborn" = { "/org/gnome/shell/extensions/rounded-window-corners-reborn" = {
global-rounded-corner-settings = ['padding': <{'left': uint32 2, 'right': 2, 'top': 1, 'bottom': 2}>, 'keepRoundedCorners': <{'maximized': true, 'fullscreen': true}>, 'borderRadius': <uint32 7>, 'smoothing': <0.0>, 'borderColor': <(0.5, 0.5, 0.5, 1.0)>, 'enabled': <true>] global-rounded-corner-settings = {'padding': <{'left': uint32 2, 'right': 2, 'top': 1, 'bottom': 2}>, 'keepRoundedCorners': <{'maximized': true, 'fullscreen': true}>, 'borderRadius': <uint32 7>, 'smoothing': <0.0>, 'borderColor': <(0.5, 0.5, 0.5, 1.0)>, 'enabled': <true>};
}; };
#"org/gnome/shell/extensions/rounded-window-corners-reborn/global-rounded-corner-settings" = { #"org/gnome/shell/extensions/rounded-window-corners-reborn/global-rounded-corner-settings" = {