diff options
author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-11-03 15:02:09 +0100 |
---|---|---|
committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-11-03 15:02:09 +0100 |
commit | 73d868443e1bd2f1e4d5c1d0c2fe1c3c3edd45b1 (patch) | |
tree | 5dbba38c9aafa956290bd2706465ee675cc2dabb | |
parent | dec1dcab6fe895b63041380d6fce18436ce593bb (diff) |
use monospace font
-rw-r--r-- | config/extra/kitty/kitty.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/extra/kitty/kitty.conf b/config/extra/kitty/kitty.conf index 9d9168b..2cf6565 100644 --- a/config/extra/kitty/kitty.conf +++ b/config/extra/kitty/kitty.conf @@ -6,7 +6,7 @@ #: individual font faces and even specify special fonts for particular #: characters. -font_family DejaVuSansMono +font_family monospace bold_font auto italic_font auto bold_italic_font auto |