diff options
author | Haoyu Qiu <timothyqiu32@gmail.com> | 2023-04-07 20:01:55 +0800 |
---|---|---|
committer | Yuri Sizov <yuris@humnom.net> | 2023-04-24 14:16:37 +0200 |
commit | e7f7de004465e274721bb6ec82f60424b21e0c95 (patch) | |
tree | 0be0656901c8a8e5dc2da345c8d747d20418c1d0 | |
parent | a6e15e2f1563543b375ae28e3490e646c47a7ca3 (diff) |
Set font sizes for various styles in editor output panel
(cherry picked from commit 2c0db8222a2e9f882040e773f3b375510ebcccc5)
-rw-r--r-- | editor/editor_log.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
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"))); |