2020-05-26 07:03:54 +00:00
|
|
|
# Colors (Gruvbox dark)
|
|
|
|
colors:
|
|
|
|
# Default colors
|
|
|
|
primary:
|
|
|
|
# hard contrast: background = '#1d2021'
|
|
|
|
# background: '#282828'
|
|
|
|
# soft contrast: background = '#32302f'
|
|
|
|
background: '#32302f'
|
|
|
|
foreground: '#ebdbb2'
|
|
|
|
|
|
|
|
# Normal colors
|
|
|
|
normal:
|
|
|
|
black: '#282828'
|
|
|
|
red: '#cc241d'
|
|
|
|
green: '#98971a'
|
|
|
|
yellow: '#d79921'
|
|
|
|
blue: '#458588'
|
|
|
|
magenta: '#b16286'
|
|
|
|
cyan: '#689d6a'
|
|
|
|
white: '#a89984'
|
|
|
|
|
|
|
|
# Bright colors
|
|
|
|
bright:
|
|
|
|
black: '#928374'
|
|
|
|
red: '#fb4934'
|
|
|
|
green: '#b8bb26'
|
|
|
|
yellow: '#fabd2f'
|
|
|
|
blue: '#83a598'
|
|
|
|
magenta: '#d3869b'
|
|
|
|
cyan: '#8ec07c'
|
|
|
|
white: '#ebdbb2'
|
|
|
|
|
|
|
|
font:
|
|
|
|
normal:
|
|
|
|
family: "UbuntuMono Nerd Font"
|
|
|
|
style: Regular
|
|
|
|
bold:
|
|
|
|
family: "UbuntuMono Nerd Font"
|
|
|
|
style: Bold
|
|
|
|
italic:
|
|
|
|
family: "UbuntuMono Nerd Font"
|
|
|
|
style: Italic
|
|
|
|
bold_italic:
|
|
|
|
family: "UbuntuMono Nerd Font"
|
|
|
|
style: Bold Italic
|
|
|
|
|
|
|
|
# Point size
|
2020-05-29 05:47:19 +00:00
|
|
|
size: 11.0
|
2020-05-26 07:03:54 +00:00
|
|
|
|
|
|
|
offset:
|
|
|
|
x: 0
|
|
|
|
y: 0
|
|
|
|
glyph_offset:
|
|
|
|
x: 0
|
|
|
|
y: 0
|
|
|
|
|
|
|
|
window:
|
|
|
|
decorations: none
|
|
|
|
padding:
|
|
|
|
x: 2
|
|
|
|
y: 2
|
|
|
|
|
|
|
|
dimensions:
|
|
|
|
columns: 100
|
|
|
|
lines: 20
|
|
|
|
|
|
|
|
scrolling:
|
|
|
|
# Maximum number of lines in the scrollback buffer.
|
|
|
|
# Specifying '0' will disable scrolling.
|
|
|
|
history: 10000
|
|
|
|
|
|
|
|
# Number of lines the viewport will move for every line scrolled when
|
|
|
|
# scrollback is enabled (history > 0).
|
|
|
|
multiplier: 10
|
|
|
|
|
|
|
|
# If `true`, bold text is drawn using the bright color variants.
|
|
|
|
draw_bold_text_with_bright_colors: true
|
|
|
|
|
|
|
|
selection:
|
|
|
|
semantic_escape_chars: ',│`|:"'' ()[]{}<>'
|
|
|
|
save_to_clipboard: true
|
|
|
|
|
|
|
|
live_config_reload: true
|
|
|
|
|
|
|
|
key_bindings:
|
|
|
|
- { key: V, mods: Control|Shift, action: Paste }
|
|
|
|
- { key: C, mods: Control|Shift, action: Copy }
|
|
|
|
- { key: Key0, mods: Control, action: ResetFontSize }
|
|
|
|
- { key: Equals, mods: Control, action: IncreaseFontSize }
|
2020-11-29 06:42:09 +00:00
|
|
|
- { key: NumpadAdd, mods: Control, action: IncreaseFontSize }
|
|
|
|
- { key: NumpadSubtract, mods: Control, action: DecreaseFontSize }
|
2020-05-26 07:03:54 +00:00
|
|
|
- { key: Minus, mods: Control, action: DecreaseFontSize }
|
|
|
|
- { key: N, mods: Control, action: SpawnNewInstance }
|