diff options
| author | Josh Rahm <rahm@google.com> | 2021-09-27 23:45:48 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2021-09-27 23:45:48 -0600 |
| commit | 505bbdb0aa09350a2c52ede96cbacc6e9cf084a2 (patch) | |
| tree | 8fa20678a35f674617e6ae030eaf941d7560d31d /alacritty_terminal/src/ansi.rs | |
| parent | 843583e2246a2404999b6c36293d7966cfb84334 (diff) | |
| download | r-alacritty-505bbdb0aa09350a2c52ede96cbacc6e9cf084a2.tar.gz r-alacritty-505bbdb0aa09350a2c52ede96cbacc6e9cf084a2.tar.bz2 r-alacritty-505bbdb0aa09350a2c52ede96cbacc6e9cf084a2.zip | |
Added a dotted underline feature and changed the undercurl feature to be
more antialiased.
Diffstat (limited to 'alacritty_terminal/src/ansi.rs')
| -rw-r--r-- | alacritty_terminal/src/ansi.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/alacritty_terminal/src/ansi.rs b/alacritty_terminal/src/ansi.rs index 51a3394e..d5574f59 100644 --- a/alacritty_terminal/src/ansi.rs +++ b/alacritty_terminal/src/ansi.rs @@ -768,8 +768,10 @@ pub enum Attr { Underline, /// Underlined twice. DoubleUnderline, - /// Underlined twice. + /// Undercurl twice. Undercurl, + /// Underlined with dots. + DottedUnderline, /// Blink cursor slowly. BlinkSlow, /// Blink cursor fast. @@ -971,6 +973,7 @@ where .trim() .to_owned(); self.handler.set_title(Some(title)); + return; } unhandled(params); @@ -1325,6 +1328,7 @@ fn attrs_from_sgr_parameters(params: &mut ParamsIter<'_>) -> Vec<Option<Attr>> { [4, 0] => Some(Attr::CancelUnderline), [4, 2] => Some(Attr::DoubleUnderline), [4, 3] => Some(Attr::Undercurl), + [4, 4] => Some(Attr::DottedUnderline), [4, ..] => Some(Attr::Underline), [5] => Some(Attr::BlinkSlow), [6] => Some(Attr::BlinkFast), |