2018-09-21 16:56:09 +02:00
|
|
|
extern crate ansi_colours;
|
|
|
|
|
2018-04-23 23:56:47 +02:00
|
|
|
use ansi_term::Colour::{Fixed, RGB};
|
2018-08-19 12:32:35 +02:00
|
|
|
use ansi_term::{self, Style};
|
2018-08-22 22:29:12 +02:00
|
|
|
|
2018-05-11 13:52:12 +02:00
|
|
|
use syntect::highlighting::{self, FontStyle};
|
2018-04-23 23:56:47 +02:00
|
|
|
|
2018-08-19 12:32:35 +02:00
|
|
|
pub fn to_ansi_color(color: highlighting::Color, true_color: bool) -> ansi_term::Colour {
|
|
|
|
if true_color {
|
|
|
|
RGB(color.r, color.g, color.b)
|
|
|
|
} else {
|
2018-09-21 16:56:09 +02:00
|
|
|
Fixed(ansi_colours::ansi256_from_rgb((color.r, color.g, color.b)))
|
2018-08-19 12:32:35 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-06 14:53:52 +02:00
|
|
|
pub fn as_terminal_escaped(
|
2018-05-12 15:40:47 +02:00
|
|
|
style: highlighting::Style,
|
2018-05-12 06:59:26 +02:00
|
|
|
text: &str,
|
2018-05-06 14:53:52 +02:00
|
|
|
true_color: bool,
|
|
|
|
colored: bool,
|
2018-11-01 17:32:04 +01:00
|
|
|
italics: bool,
|
2018-10-10 06:25:33 +02:00
|
|
|
background_color: Option<highlighting::Color>,
|
2018-05-06 14:53:52 +02:00
|
|
|
) -> String {
|
2018-10-10 06:25:33 +02:00
|
|
|
let mut style = if !colored {
|
2018-05-12 06:59:26 +02:00
|
|
|
Style::default()
|
|
|
|
} else {
|
2018-08-19 12:32:35 +02:00
|
|
|
let color = to_ansi_color(style.foreground, true_color);
|
2018-04-23 23:56:47 +02:00
|
|
|
|
2018-05-12 15:40:47 +02:00
|
|
|
if style.font_style.contains(FontStyle::BOLD) {
|
|
|
|
color.bold()
|
|
|
|
} else if style.font_style.contains(FontStyle::UNDERLINE) {
|
|
|
|
color.underline()
|
2018-11-04 18:08:33 +01:00
|
|
|
} else if italics && style.font_style.contains(FontStyle::ITALIC) {
|
2018-05-12 15:40:47 +02:00
|
|
|
color.italic()
|
|
|
|
} else {
|
|
|
|
color.normal()
|
|
|
|
}
|
2018-05-12 06:59:26 +02:00
|
|
|
};
|
2018-04-23 23:56:47 +02:00
|
|
|
|
2018-10-10 06:25:33 +02:00
|
|
|
style.background = background_color.map(|c| to_ansi_color(c, true_color));
|
2018-05-13 12:26:23 +02:00
|
|
|
style.paint(text).to_string()
|
2018-04-23 23:56:47 +02:00
|
|
|
}
|