kitty: Decrease window margin width

This increases the amount of available space we have to work
with kitty windows.
This commit is contained in:
Donovan Glover 2018-12-06 01:51:24 -05:00
parent 309f428550
commit 5ca492277b
No known key found for this signature in database
GPG Key ID: EA7408A77AE1BE65

View File

@ -52,7 +52,7 @@ map ctrl+alt+v paste_from_clipboard
# ============================= # =============================
# Add some spacing between kitty windows # 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 # Don't add extra spacing if there's only one visible kitty window
single_window_margin_width 0.0 single_window_margin_width 0.0