From ca5d53c9982298e00b1b8fe2f5870c84f126fa1a Mon Sep 17 00:00:00 2001 From: ediblerope Date: Mon, 8 Dec 2025 13:26:38 +0000 Subject: [PATCH] Update home.nix --- home-manager/home.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home-manager/home.nix b/home-manager/home.nix index e4dbce5..d950715 100644 --- a/home-manager/home.nix +++ b/home-manager/home.nix @@ -66,7 +66,7 @@ # 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': }; + #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" = {