diff options
| author | Melvin Winstroem-Moeller <mithunder@hotmail.com> | 2019-01-18 19:20:35 +0100 |
|---|---|---|
| committer | Melvin Winstroem-Moeller <mithunder@hotmail.com> | 2019-01-18 19:20:35 +0100 |
| commit | b2abbeca4b38fff3dc90f971a7f9b86399363f28 (patch) | |
| tree | a2577720bf13fdfc2680a745edf41fb7defaa036 /editor | |
| parent | 541422a4a28c873142af9bfc988468b3e9e05948 (diff) | |
Editor source status font size, fixes #25039
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/editor_fonts.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/editor_fonts.cpp b/editor/editor_fonts.cpp index d0e7cda6b6..fa4172cded 100644 --- a/editor/editor_fonts.cpp +++ b/editor/editor_fonts.cpp @@ -242,6 +242,6 @@ void editor_register_fonts(Ref<Theme> p_theme) { MAKE_SOURCE_FONT(df_output_code, int(EDITOR_DEF("run/output/font_size", 13)) * EDSCALE); p_theme->set_font("output_source", "EditorFonts", df_output_code); - MAKE_SOURCE_FONT(df_text_editor_status_code, 14 * EDSCALE); + MAKE_SOURCE_FONT(df_text_editor_status_code, default_font_size); p_theme->set_font("status_source", "EditorFonts", df_text_editor_status_code); } |