Merge pull request 'change kitty font size' (#13) from change-kitty-fontsize into main

Reviewed-on: #13
This commit is contained in:
Charlotte 🦝 Delenk 2023-04-16 18:50:51 +00:00
commit 4c1aa32819
Signed by: gitea-bot
GPG key ID: C9974EDF9932B558

View file

@ -5,6 +5,7 @@ _: {
settings = { settings = {
disable_ligatures = "cursor"; disable_ligatures = "cursor";
shell_integration = "disabled"; shell_integration = "disabled";
font_size = 8;
}; };
extraConfig = '' extraConfig = ''
symbol_map U+F1900-U+F19FF Fairfax HD symbol_map U+F1900-U+F19FF Fairfax HD