From 059d00742391d53b9c273c3bd9eefb247db5a4ac Mon Sep 17 00:00:00 2001
From: "Daniel J. Ramirez" <djrmuv@gmail.com>
Date: Fri, 15 Sep 2017 20:07:04 -0500
Subject: [PATCH] Use code font in editor log

---
 editor/editor_log.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp
index 035819f5039..481f2aaecf1 100644
--- a/editor/editor_log.cpp
+++ b/editor/editor_log.cpp
@@ -85,7 +85,11 @@ void EditorLog::clear() {
 
 void EditorLog::add_message(const String &p_msg, bool p_error) {
 
+	Ref<Font> doc_code_font = get_font("doc_source", "EditorFonts");
+	log->push_font(doc_code_font);
+
 	log->add_newline();
+
 	if (p_error) {
 		log->push_color(get_color("error_color", "Editor"));
 		Ref<Texture> icon = get_icon("Error", "EditorIcons");
@@ -100,6 +104,8 @@ void EditorLog::add_message(const String &p_msg, bool p_error) {
 
 	if (p_error)
 		log->pop();
+
+	log->pop(); // pop font;
 }
 
 /*