|
|
|
|
@ -617,7 +617,7 @@ void Terminal::configure() {
|
|
|
|
|
rgba.set_blue(normal_color.get_blue() + factor * (rgba.get_blue() - normal_color.get_blue())); |
|
|
|
|
yellow_tag->property_foreground_rgba() = rgba; |
|
|
|
|
|
|
|
|
|
rgba.set_rgba(0.0, 0.0, 1.0); |
|
|
|
|
rgba.set_rgba(0.0, 0.25, 1.0); |
|
|
|
|
factor = light_theme ? 0.8 : 0.2; |
|
|
|
|
rgba.set_red(normal_color.get_red() + factor * (rgba.get_red() - normal_color.get_red())); |
|
|
|
|
rgba.set_green(normal_color.get_green() + factor * (rgba.get_green() - normal_color.get_green())); |
|
|
|
|
|