From 81a5eb4d18bf04f55ed90f01a47ae68f99d38d11 Mon Sep 17 00:00:00 2001
From: Marc Gilleron <marc.gilleron@gmail.com>
Date: Fri, 1 Feb 2019 16:59:55 +0100
Subject: [PATCH] Don't modify font which could potentially not be the editor
 one yet

---
 editor/editor_log.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp
index 803d7e10f74..9f38e84c8d8 100644
--- a/editor/editor_log.cpp
+++ b/editor/editor_log.cpp
@@ -65,7 +65,6 @@ void EditorLog::_notification(int p_what) {
 	} else if (p_what == NOTIFICATION_THEME_CHANGED) {
 		Ref<DynamicFont> df_output_code = get_font("output_source", "EditorFonts");
 		if (df_output_code.is_valid()) {
-			df_output_code->set_size(int(EDITOR_DEF("run/output/font_size", 13)) * EDSCALE);
 			if (log != NULL) {
 				log->add_font_override("normal_font", get_font("output_source", "EditorFonts"));
 			}