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

Add font size setting for output panel

Browse Source
This commit is contained in:
volzhs
2017-09-25 23:12:17 +09:00
parent ab644de1d8
commit 79e506ff52
3 changed files with 20 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
editor/editor_fonts.cpp
View File

@ -158,6 +158,16 @@ void editor_register_fonts(Ref<Theme> p_theme) {
p_theme->set_font("doc_source", "EditorFonts", df_doc_code);
Ref<DynamicFont> df_output_code;
df_output_code.instance();
df_output_code->set_size(int(EDITOR_DEF("run/output/font_size", 13)) * EDSCALE);
df_output_code->set_spacing(DynamicFont::SPACING_TOP, -EDSCALE);
df_output_code->set_spacing(DynamicFont::SPACING_BOTTOM, -EDSCALE);
df_output_code->set_font_data(dfmono);
MAKE_FALLBACKS(df_output_code);
p_theme->set_font("output_source", "EditorFonts", df_output_code);
//replace default theme
Ref<Texture> di;
Ref<StyleBox> ds;