From 0e960791eab86886e9a428c75391dbc69a7531f2 Mon Sep 17 00:00:00 2001 From: surtur Date: Sat, 29 May 2021 20:40:54 +0200 Subject: [PATCH] kitty: distinguish horizontal and vertical padding --- .config/kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.config/kitty/kitty.conf b/.config/kitty/kitty.conf index 8cb29a7..77e44ed 100644 --- a/.config/kitty/kitty.conf +++ b/.config/kitty/kitty.conf @@ -458,7 +458,7 @@ initial_window_height 600 #: values set top, horizontal and bottom. Four values set top, right, #: bottom and left. -window_padding_width 2 +window_padding_width 1 2 #: The window padding (in pts) (blank area between the text and the #: window border). A single value sets all four sides. Two values set