equal
deleted
inserted
replaced
964 |
964 |
965 void record_termination_time(double ms) { |
965 void record_termination_time(double ms) { |
966 record_termination_time(0, ms); |
966 record_termination_time(0, ms); |
967 } |
967 } |
968 |
968 |
969 void record_pause_time(double ms) { |
969 void record_pause_time_ms(double ms) { |
970 _last_pause_time_ms = ms; |
970 _last_pause_time_ms = ms; |
971 } |
971 } |
972 |
972 |
973 void record_clear_ct_time(double ms) { |
973 void record_clear_ct_time(double ms) { |
974 _cur_clear_ct_time_ms = ms; |
974 _cur_clear_ct_time_ms = ms; |