summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel J. Ramirez <djrmuv@gmail.com>2017-09-15 20:07:04 -0500
committerDaniel J. Ramirez <djrmuv@gmail.com>2017-09-15 20:07:04 -0500
commit059d00742391d53b9c273c3bd9eefb247db5a4ac (patch)
tree380811e51ca0d59c6ec57969c2cc2fad0419721e
parenta74cc225912a806ff2d460c4a64afbef4c8d855a (diff)
Use code font in editor log
-rw-r--r--editor/editor_log.cpp6
1 files changed, 6 insertions, 0 deletions
diff --git a/editor/editor_log.cpp b/editor/editor_log.cpp
index 035819f503..481f2aaecf 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;
}
/*