diff options
| author | Sergii Tykhomyrov <sergii@tykhomyrov.net> | 2024-12-07 17:14:15 +0100 |
|---|---|---|
| committer | Sergii Tykhomyrov <sergii@tykhomyrov.net> | 2024-12-07 17:42:04 +0100 |
| commit | cd4065fe07dbcca7ca5544bc2819228f75358bf2 (patch) | |
| tree | ca910968fba599aca650337e56cae9abd1438b96 /kitty | |
| parent | d7bd373a8e35a962ab7aa9182535a2b42b58e321 (diff) | |
| download | dotfiles-cd4065fe07dbcca7ca5544bc2819228f75358bf2.tar.gz dotfiles-cd4065fe07dbcca7ca5544bc2819228f75358bf2.zip | |
kitty: Reduce font size and add window margins for
Diffstat (limited to 'kitty')
| -rw-r--r-- | kitty/dot-config/kitty/kitty.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kitty/dot-config/kitty/kitty.conf b/kitty/dot-config/kitty/kitty.conf index dbda86a..deebfb4 100644 --- a/kitty/dot-config/kitty/kitty.conf +++ b/kitty/dot-config/kitty/kitty.conf @@ -909,7 +909,7 @@ font_size 13 #: set the vertical and horizontal sides. Three values set top, #: horizontal and bottom. Four values set top, right, bottom and left. -# window_padding_width 0 +window_padding_width 5 #: The window padding (in pts) (blank area between the text and the #: window border). A single value sets all four sides. Two values set |