The parser should already handle abbreviated values, e.g., 0:0:5.36 instead of 00:00:05.360.
Could also make hours and minutes optional, enabling us to specify times in seconds only. The parser will accept any number of digits for any of the time components (the only thing truncated is the fraction to milliseconds), and Python’s timedelta will correctly handle any number of seconds as input, so we should be able easily to specify timestamps as, e.g., 114 instead of 00:01:54.
The parser should already handle abbreviated values, e.g.,
0:0:5.36instead of00:00:05.360.Could also make hours and minutes optional, enabling us to specify times in seconds only. The parser will accept any number of digits for any of the time components (the only thing truncated is the fraction to milliseconds), and Python’s
timedeltawill correctly handle any number of seconds as input, so we should be able easily to specify timestamps as, e.g.,114instead of00:01:54.