From 6fdafb405426100b1981dac338b3c7878572d54d Mon Sep 17 00:00:00 2001 From: Jens Nolte <git@queezle.net> Date: Sun, 8 Aug 2021 18:32:30 +0200 Subject: [PATCH] Terminal: change default font size --- home-profiles/kitty/.config/kitty/kitty.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home-profiles/kitty/.config/kitty/kitty.conf b/home-profiles/kitty/.config/kitty/kitty.conf index 5c96538..8a6d472 100644 --- a/home-profiles/kitty/.config/kitty/kitty.conf +++ b/home-profiles/kitty/.config/kitty/kitty.conf @@ -7,7 +7,7 @@ font_family PragmataPro Mono Liga #bold_font Fira Code Bold #bold_italic_font auto -font_size 8.5 +font_size 10 cursor_blink_interval 0.5 @@ -62,7 +62,7 @@ update_check_interval 0 map kitty_mod+plus change_font_size current +0.5 map kitty_mod+minus change_font_size current -0.5 map kitty_mod+backspace restore_font_size -map kitty_mod+´ set_font_size 10 +map kitty_mod+´ set_font_size 8.5 map kitty_mod+f run_kitten text hints map kitty_mod+u input_unicode_character -- GitLab