|
@@ -81,19 +81,19 @@ tabspaces: 8
|
|
font:
|
|
font:
|
|
# Normal (roman) font face
|
|
# Normal (roman) font face
|
|
normal:
|
|
normal:
|
|
- family: Monoid
|
|
|
|
|
|
+ family: FuraCode Nerd Font
|
|
# The `style` can be specified to pick a specific face.
|
|
# The `style` can be specified to pick a specific face.
|
|
#style: Regular
|
|
#style: Regular
|
|
|
|
|
|
# Bold font face
|
|
# Bold font face
|
|
bold:
|
|
bold:
|
|
- family: Monoid
|
|
|
|
|
|
+ family: FuraCode Nerd Font
|
|
# The `style` can be specified to pick a specific face.
|
|
# The `style` can be specified to pick a specific face.
|
|
#style: Bold
|
|
#style: Bold
|
|
|
|
|
|
# Italic font face
|
|
# Italic font face
|
|
italic:
|
|
italic:
|
|
- family: Monoid
|
|
|
|
|
|
+ family: FuraCode Nerd Font
|
|
# The `style` can be specified to pick a specific face.
|
|
# The `style` can be specified to pick a specific face.
|
|
#style: Italic
|
|
#style: Italic
|
|
|
|
|
|
@@ -269,7 +269,7 @@ selection:
|
|
semantic_escape_chars: ",│`|:\"' ()[]{}<>"
|
|
semantic_escape_chars: ",│`|:\"' ()[]{}<>"
|
|
|
|
|
|
# When set to `true`, selected text will be copied to the primary clipboard.
|
|
# When set to `true`, selected text will be copied to the primary clipboard.
|
|
- save_to_clipboard: false
|
|
|
|
|
|
+ save_to_clipboard: true
|
|
|
|
|
|
cursor:
|
|
cursor:
|
|
# Cursor style
|
|
# Cursor style
|