diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-11 11:30:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-11 11:30:23 +0200 |
| commit | 845e2111ce7ede957670c2ae5f6a6aeeb9faaa32 (patch) | |
| tree | 9f2bded7b85478d3ab827596f7856bdb909e4cbb /editor | |
| parent | 1585690327dc6411842b38546d1a0778282afe3d (diff) | |
| parent | 411af2c750ffd4e65efb59a8b7793e230048ded7 (diff) | |
Merge pull request #38631 from Calinou/editor-log-selection-color-theme
Tweak the editor log selection color to match the current editor theme
Diffstat (limited to 'editor')
| -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)); } } } |