blob: a54f6b9dc5d3816043f0af16377dd51101382de8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
shell: /bin/bash
window:
padding:
x: 8
y: 3
font:
normal:
family: monospace
style: Regular
size: 14
cursor:
style:
shape: Beam
unfocused_hollow: false
key_bindings:
- { key: Key0, mods: Control, action: ResetFontSize }
- { key: Plus, mods: Control, action: IncreaseFontSize }
- { key: Minus, mods: Control, action: DecreaseFontSize }
|
