diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-19 09:37:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-19 09:37:39 +0100 |
| commit | 953432f4b6eb7678f71ed0ddf90b27ad93fac577 (patch) | |
| tree | dbe2a37c5410b575fbfd453b2cd73772ed34f48c | |
| parent | 50c8019dcdc6c2cd1696ac12da28cc6457dccae1 (diff) | |
| parent | b2abbeca4b38fff3dc90f971a7f9b86399363f28 (diff) | |
Merge pull request #25111 from MelvinWM/master
Editor source status font size, fixes #25039
| -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); } |