diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 23:10:04 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 23:10:04 +0100 |
commit | 891ef18be59763d08a97ce738b1226a9d2d82b08 (patch) | |
tree | f18f55b87458d33d456c86e8eecbb34c2762a56e /kitty | |
parent | 600858cc3f149b39e6b5c7db6338feaa17e528b5 (diff) | |
download | dotfiles-891ef18be59763d08a97ce738b1226a9d2d82b08.tar.gz dotfiles-891ef18be59763d08a97ce738b1226a9d2d82b08.zip |
Home changes
Diffstat (limited to 'kitty')
-rw-r--r-- | kitty/.config/kitty/kitty.conf | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/kitty/.config/kitty/kitty.conf b/kitty/.config/kitty/kitty.conf index cc72d50..8e9e76a 100644 --- a/kitty/.config/kitty/kitty.conf +++ b/kitty/.config/kitty/kitty.conf @@ -24,10 +24,12 @@ bold_italic_font Iosevka YMHG Bold Italic #: italic_font Operator Mono Book Italic #: bold_italic_font Operator Mono Medium Italic -font_size 14.0 +font_size 12.0 #: Font size (in pts) +text_composition_strategy 2.0 0 + # force_ltr no #: kitty does not support BIDI (bidirectional text), however, for RTL @@ -1165,7 +1167,7 @@ tab_bar_style separator #: Advanced {{{ -#shell /usr/local/bin/fish +shell /usr/bin/zsh --login #: The shell program to execute. The default value of . means to use #: whatever shell is set as the default shell for the current user. |