2023-08-17 13:01:19 +00:00
|
|
|
[global_config]
|
|
|
|
focus = mouse
|
|
|
|
[keybindings]
|
2023-11-10 08:23:26 +00:00
|
|
|
[profiles]
|
|
|
|
[[default]]
|
|
|
|
allow_bold = False
|
|
|
|
background_darkness = 0.9
|
|
|
|
background_type = transparent
|
|
|
|
cursor_shape = underline
|
|
|
|
font = Hack 9
|
|
|
|
foreground_color = "#deddda"
|
|
|
|
scrollbar_position = hidden
|
|
|
|
scrollback_lines = 2000
|
|
|
|
scrollback_infinite = True
|
|
|
|
use_system_font = False
|
2023-08-17 13:01:19 +00:00
|
|
|
[layouts]
|
|
|
|
[[default]]
|
|
|
|
[[[child1]]]
|
|
|
|
parent = window0
|
|
|
|
type = Terminal
|
|
|
|
[[[window0]]]
|
|
|
|
parent = ""
|
|
|
|
type = Window
|
|
|
|
[plugins]
|