2020-03-19 11:03:08 +00:00
|
|
|
include ./theme.conf
|
2020-03-23 09:38:06 +00:00
|
|
|
# font_family VictorMono Nerd Font Semibold
|
|
|
|
# font_family DejaVuSansMono Nerd
|
|
|
|
# font_family Iosevka Nerd Font
|
|
|
|
font_family JetbrainsMono Nerd Font
|
2020-03-19 11:03:08 +00:00
|
|
|
|
2020-03-22 18:05:29 +00:00
|
|
|
bold_font auto
|
|
|
|
italic_font auto
|
|
|
|
bold_italic_font auto
|
|
|
|
#font_family monospace
|
2020-03-23 09:38:06 +00:00
|
|
|
font_size 12
|
2020-03-19 11:03:08 +00:00
|
|
|
|
|
|
|
enable_audio_bell no
|
|
|
|
|
|
|
|
window_padding_width 0
|
|
|
|
tab_bar_style powerline
|
|
|
|
|
|
|
|
|
|
|
|
map ctrl+shift+plus change_font_size all +2.0
|
2020-03-22 18:05:29 +00:00
|
|
|
map ctrl+shift+left neighboring_window left
|
|
|
|
map ctrl+shift+down neighboring_window down
|
|
|
|
map ctrl+shift+right neighboring_window right
|
|
|
|
map ctrl+shift+up neighboring_window up
|
2020-03-19 11:03:08 +00:00
|
|
|
|
|
|
|
|
|
|
|
clipboard_control write-clipboard write-primary read-primary read-clipboard
|
2020-03-22 18:05:29 +00:00
|
|
|
dynamic_background_opacity yes
|
2020-03-23 09:38:06 +00:00
|
|
|
allow_remote_control yes
|