From 8117dd4d63cc064d1c33673442adff0c4b7f5610 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 18 Mar 2023 20:36:38 +0000 Subject: Add changes to kitty and fish --- kitty/.config/kitty/kitty.conf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'kitty') 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. -- cgit