| 71 | } |
| 72 | |
| 73 | void PlaybackEngine::setCurrentTime(DisplaySeconds t) { |
| 74 | const double clamped = clampedTime(t.value); |
| 75 | if (clamped == current_time_) { |
| 76 | return; |
| 77 | } |
| 78 | current_time_ = clamped; |
| 79 | emit currentTimeChanged(current_time_); |
| 80 | } |
| 81 | |
| 82 | void PlaybackEngine::setPlaybackRate(double rate) { |
| 83 | if (rate_ == rate) { |
no outgoing calls