summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHaoyu Qiu <timothyqiu32@gmail.com>2023-04-07 20:01:55 +0800
committerYuri Sizov <yuris@humnom.net>2023-04-24 14:16:37 +0200
commite7f7de004465e274721bb6ec82f60424b21e0c95 (patch)
tree0be0656901c8a8e5dc2da345c8d747d20418c1d0
parenta6e15e2f1563543b375ae28e3490e646c47a7ca3 (diff)
Set font sizes for various styles in editor output panel
(cherry picked from commit 2c0db8222a2e9f882040e773f3b375510ebcccc5)
-rw-r--r--editor/editor_log.cpp7
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")));