From d7d3fb6b08b94ce987d196325a2e5dccc4aecb49 Mon Sep 17 00:00:00 2001 From: Dmytro Meleshko Date: Fri, 21 Jun 2019 16:47:15 +0300 Subject: [PATCH] [kitty] increase window margin --- kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/kitty.conf b/kitty/kitty.conf index 666d1d9..2ad21a5 100644 --- a/kitty/kitty.conf +++ b/kitty/kitty.conf @@ -266,7 +266,7 @@ bell_on_tab yes #: that setting a non-zero window margin overrides this and causes all #: borders to be drawn. -window_margin_width 0.5 +window_margin_width 1.0 #: The window margin (in pts) (blank area outside the border)