2026-02-22 18:07:10 +01:00
|
|
|
[window]
|
|
|
|
|
opacity = 0.75
|
|
|
|
|
|
|
|
|
|
[font]
|
|
|
|
|
#size = 14.0 # your preferred font size
|
|
|
|
|
#normal.family = "FiraCode Nerd Font"
|
|
|
|
|
#bold.family = "FiraCode Nerd Font"
|
|
|
|
|
#italic.family = "FiraCode Nerd Font"
|
|
|
|
|
#bold_italic.family = "FiraCode Nerd Font"
|
|
|
|
|
#normal = { family = "JetBrainsMono Nerd Font" }
|
2026-03-13 20:37:14 +01:00
|
|
|
|
|
|
|
|
[[keyboard.bindings]]
|
|
|
|
|
key = "Return"
|
|
|
|
|
mods = "Shift"
|
|
|
|
|
chars = "\u001B\r"
|
