diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-03-18 20:36:38 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-03-18 20:36:38 +0000 |
| commit | 8117dd4d63cc064d1c33673442adff0c4b7f5610 (patch) | |
| tree | 749cc02893775c9b341032f572d1910efdcec5d8 /kitty | |
| parent | 18e726ad50063a8f6e9efeafad987ee447bef4d1 (diff) | |
| download | dotfiles-8117dd4d63cc064d1c33673442adff0c4b7f5610.tar.gz dotfiles-8117dd4d63cc064d1c33673442adff0c4b7f5610.zip | |
Add changes to kitty and fish
Diffstat (limited to 'kitty')
| -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. |