Ok, this is what we’ve decided to implement in 2.1.0:
- Use two fields in preferences for timestamp configuration:
- One for time (default “HH:mm:ss:SSS”; prints UNIX raw millisecond timestamp if empty)
- One for date (default “yyyy/MM/dd”; doesn’t print anything if empty)
- UI behavior: use “time” format field + " - XXX" suffix for traces counter (date is not displayed; seems clearly not useful in the UI)
- Log behavior: persist date, time and counter on three different columns