diff --git a/home-manager/home.nix b/home-manager/home.nix index e7efe71..dbb7d64 100644 --- a/home-manager/home.nix +++ b/home-manager/home.nix @@ -65,8 +65,10 @@ }; # Rounded Window Corners extension - "/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': , 'smoothing': <0.0>, 'borderColor': <(0.5, 0.5, 0.5, 1.0)>, 'enabled': }; + "/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': , 'smoothing': <0.0>, 'borderColor': <(0.5, 0.5, 0.5, 1.0)>, 'enabled': } + }; + #"org/gnome/shell/extensions/rounded-window-corners-reborn/global-rounded-corner-settings" = { # padding = lib.hm.gvariant.mkVariant (lib.hm.gvariant.mkDictionaryEntry [ # [ "left" (lib.hm.gvariant.mkUint32 2) ]