editor: Colourise the file name in the header

- Using a dark grey background for contrast with most colors.
This commit is contained in:
Andrew Hamilton 2022-04-30 14:17:35 +10:00
parent 01cc47a0e3
commit 41120f7e81
6 changed files with 826 additions and 10 deletions

View file

@ -60,8 +60,8 @@ def union_box_line(a_line, b_line):
def highlight_str(line, bg_color, transparency):
def blend_style(style):
return termstr.CharStyle(
termstr.blend_color(style.fg_color, bg_color, transparency),
termstr.blend_color(style.bg_color, bg_color, transparency),
termstr.blend_color(style.fg_rgb_color, bg_color, transparency),
termstr.blend_color(style.bg_rgb_color, bg_color, transparency),
is_bold=style.is_bold, is_italic=style.is_italic, is_underlined=style.is_underlined)
return termstr.TermStr(line).transform_style(blend_style)