GTextEditor: Make color of non-highlighted line numbers darker

Fixes #1123.
This commit is contained in:
Andreas Kling 2020-01-23 21:13:14 +01:00
parent b88be25214
commit 9e2c595c64
Notes: sideshowbarker 2024-07-19 09:51:51 +09:00

View file

@ -363,7 +363,7 @@ void GTextEditor::paint_event(GPaintEvent& event)
String::number(i + 1),
is_current_line ? Font::default_bold_font() : font(),
TextAlignment::TopRight,
is_current_line ? widget_background_color.darkened(0.6f) : widget_background_color.darkened(0.7f));
is_current_line ? widget_background_color.darkened(0.2f) : widget_background_color.darkened(0.4f));
}
}