From 5ca492277b5c8d06fb49c37267bb90e211dfc25b Mon Sep 17 00:00:00 2001 From: Donovan Glover Date: Thu, 6 Dec 2018 01:51:24 -0500 Subject: [PATCH] kitty: Decrease window margin width This increases the amount of available space we have to work with kitty windows. --- kitty/.config/kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/.config/kitty/kitty.conf b/kitty/.config/kitty/kitty.conf index 81558ca6..d35effd1 100644 --- a/kitty/.config/kitty/kitty.conf +++ b/kitty/.config/kitty/kitty.conf @@ -52,7 +52,7 @@ map ctrl+alt+v paste_from_clipboard # ============================= # Add some spacing between kitty windows -window_margin_width 10.0 +window_margin_width 5.0 # Don't add extra spacing if there's only one visible kitty window single_window_margin_width 0.0