The problem that milliseconds cannot be manually set after the time selection box is set to have millisecond format #3806