From cd4065fe07dbcca7ca5544bc2819228f75358bf2 Mon Sep 17 00:00:00 2001 From: Sergii Tykhomyrov Date: Sat, 7 Dec 2024 17:14:15 +0100 Subject: kitty: Reduce font size and add window margins for --- kitty/dot-config/kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/dot-config/kitty/kitty.conf b/kitty/dot-config/kitty/kitty.conf index dbda86a..deebfb4 100644 --- a/kitty/dot-config/kitty/kitty.conf +++ b/kitty/dot-config/kitty/kitty.conf @@ -909,7 +909,7 @@ font_size 13 #: set the vertical and horizontal sides. Three values set top, #: horizontal and bottom. Four values set top, right, bottom and left. -# window_padding_width 0 +window_padding_width 5 #: The window padding (in pts) (blank area between the text and the #: window border). A single value sets all four sides. Two values set -- cgit v1.2.3