From b2abbeca4b38fff3dc90f971a7f9b86399363f28 Mon Sep 17 00:00:00 2001
From: Melvin Winstroem-Moeller <mithunder@hotmail.com>
Date: Fri, 18 Jan 2019 19:20:35 +0100
Subject: [PATCH] Editor source status font size, fixes #25039

---
 editor/editor_fonts.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editor/editor_fonts.cpp b/editor/editor_fonts.cpp
index d0e7cda6b6d..fa4172cdedb 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);
 }