Update border width in kitty

This commit is contained in:
Marcus Kammer 2020-04-20 21:44:19 +02:00
parent e199151c8f
commit 12e2c44ec2

View file

@ -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