From 12e2c44ec21e675a568bf4d0e6a34f50be3285c6 Mon Sep 17 00:00:00 2001
From: Marcus Kammer <2262664-marcuskammer@user.noreply.gitlab.com>
Date: Mon, 20 Apr 2020 21:44:19 +0200
Subject: [PATCH] Update border width in kitty

---
 kitty.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kitty.conf b/kitty.conf
index 36cbce71..df3fa030 100644
--- a/kitty.conf
+++ b/kitty.conf
@@ -315,7 +315,7 @@ window_resize_step_lines 2
 #: resizing windows. The cells value is used for horizontal resizing
 #: and the lines value for vertical resizing.
 
-window_border_width 0
+window_border_width 0.4
 
 #: The width (in pts) of window borders. Will be rounded to the
 #: nearest number of pixels based on screen resolution. Note that