private void UpdatePrimaryTime(TimeSpan?primaryTime, bool showMilliseconds) { primaryTimeSecondsLabel.Text = TextFormatting.FormatSeconds(primaryTime); if (!IsEliminated) { primaryTimeMillisecondsLabel.Text = showMilliseconds ? primaryTimeMillisecondsMeasured : MillisecDashes; } }
void ISimpleVisualizationActor.SetOrClearSecondaryTime(TimeSpan?time) { if (time == null) { secondaryTime = null; } else { secondaryTime = new SecondaryTime(time.Value); primaryTimeSecondsLabel.Text = TextFormatting.FormatSeconds(secondaryTime.Value.TimeValue); if (!IsEliminated) { primaryTimeMillisecondsLabel.Text = TextFormatting.FormatMilliseconds(secondaryTime.Value.TimeValue); } } }