godotengine
/
godot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Set font sizes for various styles in editor output panel 

(cherry picked from commit 2c0db8222a)
This commit is contained in:
Haoyu Qiu 2023-04-07 20:01:55 +08:00 committed by Yuri Sizov
parent a6e15e2f15
commit e7f7de0044
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
editor/editor_log.cpp
View File

@ -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")));