diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-02 19:37:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-02 19:37:11 +0100 |
| commit | 055d7ace544e8dccf1bcee15c4a8704614ebb900 (patch) | |
| tree | 4fe13c9ffd94af0f4055a96380f43f1ca51c138b /editor | |
| parent | 9607fc48a0134b289fe62f327db1f160d70fac24 (diff) | |
| parent | 56d884ffde4dad6839c5e586241962e6256ff7b1 (diff) | |
Merge pull request #34063 from Calinou/tweak-error-timestamp-formatting
Tweak error timestamp formatting to be more readable
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/script_editor_debugger.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/script_editor_debugger.cpp b/editor/script_editor_debugger.cpp index 8e7aac896a..f854af0c8d 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]; |