123456789101112131415161718192021222324252627282930 |
- [font]
- size = 9.5
- [font.bold]
- family = "Roboto Mono Nerd Font Mono"
- style = "Bold"
- [font.bold_italic]
- family = "Roboto Mono Nerd Font Mono"
- style = "Bold Italic"
- [font.italic]
- family = "Roboto Mono Nerd Font Mono"
- style = "Italic"
- [font.normal]
- family = "Roboto Mono Nerd Font Mono"
- style = "Regular"
- [colors]
- draw_bold_text_with_bright_colors = true
- [keyboard]
- [[keyboard.bindings]]
- action = "CreateNewWindow"
- key = "X"
- mods = "Control|Shift"
|