From 92b6f840bbeffde3ce3ee4b40c4bd89a552008a7 Mon Sep 17 00:00:00 2001 From: Julien Malka Date: Tue, 28 Nov 2023 13:22:47 +0100 Subject: [PATCH] upgrade kitty theme --- home-manager-modules/kitty/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home-manager-modules/kitty/default.nix b/home-manager-modules/kitty/default.nix index c1e0700..490a398 100644 --- a/home-manager-modules/kitty/default.nix +++ b/home-manager-modules/kitty/default.nix @@ -14,9 +14,9 @@ with lib; enable = true; settings = { wayland_titlebar_color = "background"; - background_opacity = "0.96"; shell_integration = "no-cursor"; - window_padding_width = 4; + window_padding_width = 3; + font_size = 10; confirm_os_window_close = 0; }; font = {