From c77673794d98652472a6c6386a92da113a2a73d5 Mon Sep 17 00:00:00 2001 From: ediblerope Date: Mon, 8 Dec 2025 12:12:41 +0000 Subject: [PATCH] Update home.nix --- home-manager/home.nix | 28 ++++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/home-manager/home.nix b/home-manager/home.nix index f717ece..263a16a 100644 --- a/home-manager/home.nix +++ b/home-manager/home.nix @@ -66,19 +66,19 @@ # Rounded Window Corners extension "org/gnome/shell/extensions/rounded-window-corners-reborn/global-rounded-corner-settings" = { - padding = lib.hm.gvariant.mkDictionaryEntry [ - [ "left" (lib.hm.gvariant.mkUint32 2) ] - [ "right" (lib.hm.gvariant.mkUint32 2) ] - [ "top" (lib.hm.gvariant.mkUint32 2) ] - [ "bottom" (lib.hm.gvariant.mkUint32 2) ] - ]; - keepRoundedCorners = lib.hm.gvariant.mkDictionaryEntry [ - [ "maximized" true ] - [ "fullscreen" true ] - ]; - borderRadius = lib.hm.gvariant.mkUint32 7; - smoothing = 0.0; - enabled = true; - }; + padding = lib.hm.gvariant.mkDictionaryEntry [ + (lib.hm.gvariant.mkDictionaryEntry [ "left" (lib.hm.gvariant.mkUint32 2) ]) + (lib.hm.gvariant.mkDictionaryEntry [ "right" (lib.hm.gvariant.mkUint32 2) ]) + (lib.hm.gvariant.mkDictionaryEntry [ "top" (lib.hm.gvariant.mkUint32 2) ]) + (lib.hm.gvariant.mkDictionaryEntry [ "bottom" (lib.hm.gvariant.mkUint32 2) ]) + ]; + keepRoundedCorners = lib.hm.gvariant.mkDictionaryEntry [ + (lib.hm.gvariant.mkDictionaryEntry [ "maximized" true ]) + (lib.hm.gvariant.mkDictionaryEntry [ "fullscreen" true ]) + ]; + borderRadius = lib.hm.gvariant.mkUint32 7; + smoothing = 0.0; + enabled = true; + }; }; }