diff options
author | Chris Morgan <me@chrismorgan.info> | 2019-08-25 20:46:52 +1000 |
---|---|---|
committer | Christian Duerr <contact@christianduerr.com> | 2019-08-25 14:30:42 +0200 |
commit | e69f259d0e68a1ac382028cad7a50eb4652ef12a (patch) | |
tree | 2ce124c6eb7e484ff1b5b42019feb53a4c09c182 /alacritty.yml | |
parent | ad0365219f7f264ef0fdf0b3e4401bad7ac40e55 (diff) | |
download | alacritty-e69f259d0e68a1ac382028cad7a50eb4652ef12a.tar.gz alacritty-e69f259d0e68a1ac382028cad7a50eb4652ef12a.zip |
Add bold italic font support
If the terminal escape sequences for bold and italic text are active,
the text should be rendered as bold and italic. However, due to missing
support in Alacritty, it would always render this text in bold.
This adds support for combining the bold and italic escapes to render
text in both styles and allows users to override the font for this
scenario using the `font.bold_italic` configuration option.
Diffstat (limited to 'alacritty.yml')
-rw-r--r-- | alacritty.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/alacritty.yml b/alacritty.yml index 7615c576..35c05539 100644 --- a/alacritty.yml +++ b/alacritty.yml @@ -145,6 +145,17 @@ font: # The `style` can be specified to pick a specific face. #style: Italic + # Bold italic font face + #bold_italic: + # Font family + # + # If the bold 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: Bold Italic + # Point size size: 11.0 |