diff options
| author | volzhs <volzhs@gmail.com> | 2017-12-27 06:09:28 +0900 |
|---|---|---|
| committer | volzhs <volzhs@gmail.com> | 2017-12-27 06:09:28 +0900 |
| commit | 056bc123f8186248c1869224a6a7afbfd23bfc51 (patch) | |
| tree | 4bc832872cdb2a09602503673e0090b80dddf174 | |
| parent | edd3bd8cb8a64c1c5bf770c7103809a0ba64a4f0 (diff) | |
Fix text editor status font
mistake from https://github.com/godotengine/godot/commit/15986ea343#diff-e7b153431ed956907f3ee3ef07ac59dd
| -rw-r--r-- | editor/editor_fonts.cpp | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/editor/editor_fonts.cpp b/editor/editor_fonts.cpp index 8aca007e6b..a76c419152 100644 --- a/editor/editor_fonts.cpp +++ b/editor/editor_fonts.cpp @@ -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); } |