|
@ -53,42 +53,22 @@ scrolling: |
|
|
# DEPRECATED |
|
|
# DEPRECATED |
|
|
# faux_multiplier: 3 |
|
|
# faux_multiplier: 3 |
|
|
|
|
|
|
|
|
# Scroll to the bottom when new text is written to the terminal. |
|
|
|
|
|
auto_scroll: false |
|
|
|
|
|
|
|
|
|
|
|
tabspaces: 4 |
|
|
|
|
|
|
|
|
|
|
|
# Font configuration (changes require restart) |
|
|
# Font configuration (changes require restart) |
|
|
font: |
|
|
font: |
|
|
# Normal (roman) font face |
|
|
# Normal (roman) font face |
|
|
#normal: |
|
|
|
|
|
# Font family |
|
|
|
|
|
# Default: |
|
|
|
|
|
# - (Linux) monospace |
|
|
|
|
|
#family: monospace |
|
|
|
|
|
|
|
|
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
|
|
#style: Regular |
|
|
|
|
|
|
|
|
normal: |
|
|
|
|
|
family: Hack Nerd Font |
|
|
|
|
|
style: Regular |
|
|
|
|
|
|
|
|
# Bold font face |
|
|
# Bold font face |
|
|
#bold: |
|
|
|
|
|
# Font family |
|
|
|
|
|
# If the bold family is not specified, it will fall back to the |
|
|
|
|
|
# value specified for the normal font. |
|
|
|
|
|
#family: monospace |
|
|
|
|
|
|
|
|
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
|
|
#style: Bold |
|
|
|
|
|
|
|
|
bold: |
|
|
|
|
|
family: Hack Nerd Font |
|
|
|
|
|
style: Bold |
|
|
|
|
|
|
|
|
# Italic font face |
|
|
# Italic font face |
|
|
#italic: |
|
|
|
|
|
# Font family |
|
|
|
|
|
# If the italic family is not specified, it will fall back to the |
|
|
|
|
|
# value specified for the normal font. |
|
|
|
|
|
#family: monospace |
|
|
|
|
|
|
|
|
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
|
|
#style: Italic |
|
|
|
|
|
|
|
|
italic: |
|
|
|
|
|
family: Hack Nerd Font |
|
|
|
|
|
style: Italic |
|
|
|
|
|
|
|
|
# Point size |
|
|
# Point size |
|
|
size: 11.0 |
|
|
size: 11.0 |
|
|