diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-05-10 16:31:44 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-05-10 16:32:14 +0200 |
commit | 411af2c750ffd4e65efb59a8b7793e230048ded7 (patch) | |
tree | 64021d671e95667fbbc0fed9c02b2e47f13e64c9 | |
parent | 6ab92464bc6356f3342c3efd1fc1bb1a5e4467d5 (diff) |
Tweak the editor log selection color to match the current editor theme
This overrides the default blue color.
-rw-r--r-- | editor/editor_log.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp index c89a7bcf23..78aed96363 100644 --- a/editor/editor_log.cpp +++ b/editor/editor_log.cpp @@ -63,11 +63,13 @@ void EditorLog::_notification(int p_what) { //button->set_icon(get_icon("Console","EditorIcons")); log->add_theme_font_override("normal_font", get_theme_font("output_source", "EditorFonts")); + log->add_theme_color_override("selection_color", get_theme_color("accent_color", "Editor") * Color(1, 1, 1, 0.4)); } else if (p_what == NOTIFICATION_THEME_CHANGED) { Ref<DynamicFont> df_output_code = get_theme_font("output_source", "EditorFonts"); if (df_output_code.is_valid()) { if (log != nullptr) { log->add_theme_font_override("normal_font", get_theme_font("output_source", "EditorFonts")); + log->add_theme_color_override("selection_color", get_theme_color("accent_color", "Editor") * Color(1, 1, 1, 0.4)); } } } |