diff options
Diffstat (limited to 'kitty/.config/kitty/kitty.conf')
| -rw-r--r-- | kitty/.config/kitty/kitty.conf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kitty/.config/kitty/kitty.conf b/kitty/.config/kitty/kitty.conf index 41e84ee..0edc08d 100644 --- a/kitty/.config/kitty/kitty.conf +++ b/kitty/.config/kitty/kitty.conf @@ -721,7 +721,7 @@ window_border_width 0.5pt #: that setting a non-zero window_margin_width overrides this and #: causes all borders to be drawn. -window_margin_width 10 +# window_margin_width 10 #: The window margin (in pts) (blank area outside the border). A #: single value sets all four sides. Two values set the vertical and @@ -736,7 +736,7 @@ window_margin_width 10 #: 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 10 #: The window padding (in pts) (blank area between the text and the #: window border). A single value sets all four sides. Two values set @@ -1165,7 +1165,7 @@ tab_bar_style separator #: Advanced {{{ -# shell . +shell /usr/local/bin/fish #: The shell program to execute. The default value of . means to use #: whatever shell is set as the default shell for the current user. |