From e7f7de004465e274721bb6ec82f60424b21e0c95 Mon Sep 17 00:00:00 2001 From: Haoyu Qiu Date: Fri, 7 Apr 2023 20:01:55 +0800 Subject: Set font sizes for various styles in editor output panel (cherry picked from commit 2c0db8222a2e9f882040e773f3b375510ebcccc5) --- editor/editor_log.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'editor') diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp index 296181f79d..4ee28c5c31 100644 --- a/editor/editor_log.cpp +++ b/editor/editor_log.cpp @@ -91,7 +91,12 @@ void EditorLog::_update_theme() { log->add_theme_font_override("mono_font", mono_font); } - log->add_theme_font_size_override("normal_font_size", get_theme_font_size(SNAME("output_source_size"), SNAME("EditorFonts"))); + const int font_size = get_theme_font_size(SNAME("output_source_size"), SNAME("EditorFonts")); + log->add_theme_font_size_override("normal_font_size", font_size); + log->add_theme_font_size_override("bold_font_size", font_size); + log->add_theme_font_size_override("italics_font_size", font_size); + log->add_theme_font_size_override("mono_font_size", font_size); + log->add_theme_color_override("selection_color", get_theme_color(SNAME("accent_color"), SNAME("Editor")) * Color(1, 1, 1, 0.4)); type_filter_map[MSG_TYPE_STD]->toggle_button->set_icon(get_theme_icon(SNAME("Popup"), SNAME("EditorIcons"))); -- cgit v1.2.3