|
|
|
@ -45,7 +45,7 @@ font: |
|
|
|
|
style: Bold Italic |
|
|
|
|
|
|
|
|
|
# Point size |
|
|
|
|
size: 11.0 |
|
|
|
|
size: 12.0 |
|
|
|
|
|
|
|
|
|
offset: |
|
|
|
|
x: 0 |
|
|
|
@ -82,6 +82,22 @@ selection: |
|
|
|
|
|
|
|
|
|
live_config_reload: true |
|
|
|
|
|
|
|
|
|
cursor: |
|
|
|
|
# Cursor style |
|
|
|
|
# |
|
|
|
|
# Values for 'style': |
|
|
|
|
# - ▇ Block |
|
|
|
|
# - _ Underline |
|
|
|
|
# - | Beam |
|
|
|
|
style: Block |
|
|
|
|
|
|
|
|
|
# If this is `true`, the cursor will be rendered as a hollow box when the |
|
|
|
|
# window is not focused. |
|
|
|
|
unfocused_hollow: true |
|
|
|
|
|
|
|
|
|
mouse_bindings: |
|
|
|
|
- { mouse: Middle, action: PasteSelection } |
|
|
|
|
|
|
|
|
|
key_bindings: |
|
|
|
|
- { key: V, mods: Control|Shift, action: Paste } |
|
|
|
|
- { key: C, mods: Control|Shift, action: Copy } |
|
|
|
|