2023-12-28 12:07:30 +01:00
|
|
|
[font.bold]
|
|
|
|
family = "SFMono"
|
|
|
|
|
|
|
|
[font.normal]
|
|
|
|
family = "SFMono"
|
|
|
|
|
|
|
|
[[keyboard.bindings]]
|
2024-04-19 16:26:23 +02:00
|
|
|
chars = "\u000c"
|
2023-12-28 12:07:30 +01:00
|
|
|
key = "K"
|
|
|
|
mods = "Control"
|
|
|
|
|
|
|
|
[window.dimensions]
|
|
|
|
columns = 200
|
|
|
|
lines = 3
|