2024-07-25 08:28:53 +02:00
|
|
|
live_config_reload = true
|
|
|
|
|
|
|
|
|
|
[window]
|
|
|
|
|
|
|
|
|
|
opacity = 0.8
|
2024-08-06 11:49:55 +02:00
|
|
|
|
2024-07-25 08:28:53 +02:00
|
|
|
dynamic_padding = false
|
|
|
|
|
padding.x = 20
|
|
|
|
|
padding.y = 20
|
|
|
|
|
|
|
|
|
|
decorations = "buttonless"
|
|
|
|
|
decorations_theme_variant = "Light" # "Dark"
|
|
|
|
|
|
|
|
|
|
[font]
|
|
|
|
|
normal = { family = "ComicShannsMonoNerdFontMono", style = "regular" }
|
|
|
|
|
size = 13.0
|
|
|
|
|
|
|
|
|
|
[env]
|
|
|
|
|
TERM = "xterm-256color"
|
