From 00faeec3b842322e62d5637f869de9d82483add9 Mon Sep 17 00:00:00 2001 From: gzagatti Date: Thu, 3 Nov 2022 14:32:54 +0800 Subject: [PATCH] increase terminal font. --- kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/kitty.conf b/kitty/kitty.conf index 37a18bc..51fabc3 100644 --- a/kitty/kitty.conf +++ b/kitty/kitty.conf @@ -19,7 +19,7 @@ map kitty_mod+l clear_terminal scroll active # font font_family Cousine Nerd Font -font_size 10.0 +font_size 11.7 map ctrl+equal change_font_size all +2.0 map ctrl+- change_font_size all -2.0