2022-01-10 13:36:34 +00:00
|
|
|
background_opacity 0.85
|
|
|
|
|
font_family DejaVuSansMono Nerd Font Complete Mono
|
2022-04-20 18:59:45 +00:00
|
|
|
font_size 14.0
|
2022-01-10 13:36:34 +00:00
|
|
|
allow_remote_control yes
|
|
|
|
|
|
2022-04-20 18:59:45 +00:00
|
|
|
confirm_os_window_close 0
|
|
|
|
|
|
2022-01-10 13:36:34 +00:00
|
|
|
cursor_shape block
|
|
|
|
|
shell_integration no-cursor
|
2019-09-17 00:19:20 +00:00
|
|
|
|
|
|
|
|
include ./theme.conf
|
