Currently, CountdownTimer objects, if passed to an output stream, print the
elapsed time and not the remaining time, which at least Malte and I found
surprising. We want to change the Timer class to return a simple wrapper of
double that can be used as a double or formatted for printing. CountdownTimer,
using the Timer class internally, will do the same for both of its methods
"get_elapsed_time" and "get_remaining_time".
|