maxmustermann/godot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Merge pull request #15081 from volzhs/fix-status-font

Browse source 
Fix text editor status font
This commit is contained in:
Noshyaar 2017-12-27 10:17:53 +07:00 committed by GitHub
parent d5918b5da6 056bc123f8
commit d5f92c2baa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
editor/editor_fonts.cpp
View file

@ -173,11 +173,12 @@ void editor_register_fonts(Ref<Theme> p_theme) {
p_theme->set_font("output_source", "EditorFonts", df_output_code);
Ref<DynamicFont> df_text_editor_status_code;
df_output_code.instance();
df_output_code->set_size(14 * 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("status_source", "EditorFonts", df_output_code);
df_text_editor_status_code.instance();
df_text_editor_status_code->set_size(14 * EDSCALE);
df_text_editor_status_code->set_spacing(DynamicFont::SPACING_TOP, -EDSCALE);
df_text_editor_status_code->set_spacing(DynamicFont::SPACING_BOTTOM, -EDSCALE);
df_text_editor_status_code->set_font_data(dfmono);
MAKE_FALLBACKS(df_text_editor_status_code);
p_theme->set_font("status_source", "EditorFonts", df_text_editor_status_code);
}