blob: daab7a7a557f9f7c5e740401c18fd64427a0c39a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
[scrolling]
history = 100000
[window]
padding = { x = 5, y = 5 }
dimensions = { columns = 120, lines = 30 }
[font]
size = 15.0
offset.y = 0
normal = { family = "JetBrains Mono", style = "Regular" }
bold = { family = "JetBrains Mono", style = "Bold" }
italic = { family = "JetBrains Mono", style = "Italic" }
bold_italic = { family = "JetBrains Mono", style = "Bold Italic" }
[selection]
save_to_clipboard = true
[keyboard]
bindings = [
{ key= "Back", mods= "Command", chars= "\u0015" }
]
|
