From f4c9f41973c36531c3820dfeff9dc461af1412ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20Dudr?= Date: Sat, 25 Nov 2023 00:02:01 +0100 Subject: [PATCH] kitty: fix font --- dot_config/kitty/kitty.conf | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/dot_config/kitty/kitty.conf b/dot_config/kitty/kitty.conf index 8dae270..51fb249 100644 --- a/dot_config/kitty/kitty.conf +++ b/dot_config/kitty/kitty.conf @@ -50,7 +50,7 @@ font_size 12.0 #: to get BIDI support, because it will force kitty to always treat #: the text as LTR, which FriBidi expects for terminals. -# symbol_map +symbol_map U+E000-U+F8FF Symbols Nerd Font Mono #: E.g. symbol_map U+E0A0-U+E0A3,U+E0C0-U+E0C7 PowerlineSymbols @@ -2446,5 +2446,4 @@ map kitty_mod+F2 launch --type overlay --cwd=current lazygit #: }}} - # include Gruvbox Dark Hard.conf