fmtDateTime function

String fmtDateTime(
  1. DateTime dt
)

Formats a DateTime as HH:mm:ss.mmm for inspector metadata rows.

Implementation

String fmtDateTime(DateTime dt) => '${dt.hour.toString().padLeft(2, '0')}:'
    '${dt.minute.toString().padLeft(2, '0')}:'
    '${dt.second.toString().padLeft(2, '0')}.'
    '${dt.millisecond.toString().padLeft(3, '0')}';