Change output format for milliseconds in timestamps to 3 zeroes

Fixes #102527
This commit is contained in:
Esther Dalhuisen 2025-02-07 13:54:15 +01:00
parent 3f56b3b239
commit 109e2b3b5f
No known key found for this signature in database
GPG key ID: 88E2AAC5A9DC6FBA

View file

@ -543,7 +543,7 @@ void ScriptEditorDebugger::_parse_message(const String &p_msg, uint64_t p_thread
time_vals.push_back(oe.sec);
time_vals.push_back(oe.msec);
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.
bool source_is_project_file = oe.source_file.begins_with("res://");