From 56d884ffde4dad6839c5e586241962e6256ff7b1 Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Mon, 2 Dec 2019 18:53:39 +0100 Subject: [PATCH] Tweak error timestamp formatting to be more readable This uses a `.` instead of `:` as the decimal separator and trims the decimal part to 3 digits, as millisecond precision is usually sufficient. --- editor/script_editor_debugger.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/editor/script_editor_debugger.cpp b/editor/script_editor_debugger.cpp index 8e7aac896ae..f854af0c8da 100644 --- a/editor/script_editor_debugger.cpp +++ b/editor/script_editor_debugger.cpp @@ -846,7 +846,7 @@ void ScriptEditorDebugger::_parse_message(const String &p_msg, const Array &p_da time_vals.push_back(err[2]); time_vals.push_back(err[3]); bool e; - String time = String("%d:%02d:%02d:%04d").sprintf(time_vals, &e); + String time = String("%d:%02d:%02d.%03d").sprintf(time_vals, &e); // Rest of the error data. String method = err[4];