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

6
home-manager/home.nix
View file

@ -65,8 +65,10 @@
}; };
# Rounded Window Corners extension # Rounded Window Corners extension
"/org/gnome/shell/extensions/rounded-window-corners-reborn/global-rounded-corner-settings" = "/org/gnome/shell/extensions/rounded-window-corners-reborn" = {
{'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" = {
# padding = lib.hm.gvariant.mkVariant (lib.hm.gvariant.mkDictionaryEntry [ # padding = lib.hm.gvariant.mkVariant (lib.hm.gvariant.mkDictionaryEntry [
# [ "left" (lib.hm.gvariant.mkUint32 2) ] # [ "left" (lib.hm.gvariant.mkUint32 2) ]