diff options
author | Von Random <von@vdrandom.org> | 2024-02-02 12:46:52 +0200 |
---|---|---|
committer | Von Random <von@vdrandom.org> | 2024-02-02 12:46:52 +0200 |
commit | 408e90045f4740aa94582e84b98d2b1608122fcb (patch) | |
tree | b898ca93b1947b6139cd9ffe387a3b61de9626ed | |
parent | 0710614c8eb0fb5c43ba17ef8e578fb5f0485ae4 (diff) |
kitty: font
-rw-r--r-- | gui/.config/kitty/kitty.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gui/.config/kitty/kitty.conf b/gui/.config/kitty/kitty.conf index 8f61b2f..9878262 100644 --- a/gui/.config/kitty/kitty.conf +++ b/gui/.config/kitty/kitty.conf @@ -1,7 +1,7 @@ # Use Ctrl+Alt+F5 to reload -font_family FantasqueSansM Nerd Font +font_family Fantasque Sans Mono modify_font underline_position 1 -font_size 15 +font_size 16 cursor_blink_interval 0 term xterm-256color |