From e76ef3bdb44ab05ebd4c05b5554607a50b0f6db0 Mon Sep 17 00:00:00 2001 From: Julien Malka Date: Fri, 18 Aug 2023 00:08:44 +0200 Subject: [PATCH] kitty customisation --- home-manager-modules/kitty/default.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/home-manager-modules/kitty/default.nix b/home-manager-modules/kitty/default.nix index 07c9940..823b591 100644 --- a/home-manager-modules/kitty/default.nix +++ b/home-manager-modules/kitty/default.nix @@ -13,7 +13,8 @@ with lib; programs.kitty = { enable = true; extraConfig = '' - font_family Noto Color Emoji Regular + font_family Noto Color Emoji Regular + confirm_os_window_close 0 font_family Fira Code Regular bold_font Fira Code Retina font_features FiraCode-Regular +zero +ss01 +ss02 +ss03 +ss04 +ss05 +cv31 @@ -22,6 +23,7 @@ with lib; shell_integration no-cursor cursor_shape block cursor_blink_interval 0 + window_padding_width 4 # Tab Management tab_bar_edge top