diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-19 23:38:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-19 23:38:37 +0200 |
| commit | dc7b3c309a3eb7d2c06d24e9a7c34bd84693efdd (patch) | |
| tree | 02853c5073b35f9a375ad0f0628f65716220a61c | |
| parent | 01e4d2672c3e575da3331536b11f3e96c472fb59 (diff) | |
| parent | 059d00742391d53b9c273c3bd9eefb247db5a4ac (diff) | |
Merge pull request #11310 from djrm/pr_mono_font_in_log
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; } /* |