diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-11-19 16:30:21 +0100 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-11-19 16:30:21 +0100 |
| commit | ac82416ba14d4cfc2f47ab1d607501bfd899781f (patch) | |
| tree | ac0ecd986284f5ae73b413143739281b9f8577bd /config/extra/kitty | |
| parent | ff3a8bb2d62f5a7e1759eb3d9e0834f4396e833d (diff) | |
| parent | 822f8dbf4db697c7a2bfbd675374bfaa7080ce82 (diff) | |
Merge branch 'main' of /var/git/dotfiles
Diffstat (limited to 'config/extra/kitty')
| -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 |