mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-01-18 20:40:57 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix text editor status font

Browse Source 
mistake from https://github.com/godotengine/godot/commit/15986ea343#diff-e7b153431ed956907f3ee3ef07ac59dd
This commit is contained in:
volzhs 2017-12-27 06:09:28 +09:00
parent edd3bd8cb8
commit 056bc123f8
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);
}