Problem with custom time format.

[David Stanaway <david stanaway net>]

Hi,

I was trying to setup a custom time format for values formated like the
output of the linux /usr/bin/time

EG:

4m5.002s

mm"m"ss.0"s" yeilds odd results.

eg: I enter 5:12.123
The format output: 12m12.0s 

Does the internal time format support subsecond precision?

-- 
David Stanaway <david stanaway net>