Merge pull request #34063 from Calinou/tweak-error-timestamp-formatting

Tweak error timestamp formatting to be more readable
This commit is contained in:
Rémi Verschelde 2019-12-02 19:37:11 +01:00 committed by GitHub
commit 055d7ace54
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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];