2024-06-21 17:49:40 +02:00
|
|
|
|
|
|
|
|
[env]
|
|
|
|
|
TERM = "xterm-256color"
|
|
|
|
|
|
|
|
|
|
[font]
|
2024-06-21 20:26:52 +02:00
|
|
|
size = 12
|
2024-06-21 17:49:40 +02:00
|
|
|
|
|
|
|
|
[font.normal]
|
|
|
|
|
family = "JetBrains Mono"
|
|
|
|
|
style = "Medium"
|
2024-06-21 20:26:52 +02:00
|
|
|
|
|
|
|
|
[window]
|
|
|
|
|
padding = { x = 4, y = 4 }
|
2025-01-24 14:13:18 +01:00
|
|
|
|
|
|
|
|
[general]
|
|
|
|
|
live_config_reload = true
|
|
|
|
|
working_directory = "None"
|
