gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-06 02:18:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #11310 from djrm/pr_mono_font_in_log

Browse source 
Use code font in editor log
This commit is contained in:
Rémi Verschelde 2017-09-19 23:38:37 +02:00 committed by GitHub
parent 01e4d2672c 059d007423
commit dc7b3c309a
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
editor/editor_log.cpp
View file

@ -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;
}
/*