2022-01-10 06:36:34 -07:00
|
|
|
background_opacity 0.85
|
2022-04-28 11:32:12 -06:00
|
|
|
font_family DejaVuSansMono Nerd Font Mono
|
2022-04-20 13:51:10 -06:00
|
|
|
font_size 17.0
|
2022-01-10 06:36:34 -07:00
|
|
|
allow_remote_control yes
|
|
|
|
|
|
2022-04-20 12:59:45 -06:00
|
|
|
confirm_os_window_close 0
|
|
|
|
|
|
2022-01-10 06:36:34 -07:00
|
|
|
cursor_shape block
|
|
|
|
|
shell_integration no-cursor
|
2019-09-16 18:19:20 -06:00
|
|
|
|
|
|
|
|
include ./theme.conf
|
2022-04-20 13:51:10 -06:00
|
|
|
include ./local.conf
|
