diff options
author | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-09-15 20:07:04 -0500 |
---|---|---|
committer | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-09-15 20:07:04 -0500 |
commit | 059d00742391d53b9c273c3bd9eefb247db5a4ac (patch) | |
tree | 380811e51ca0d59c6ec57969c2cc2fad0419721e | |
parent | a74cc225912a806ff2d460c4a64afbef4c8d855a (diff) |
Use code font in editor log
-rw-r--r-- | editor/editor_log.cpp | 6 |
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; } /* |