message: Rewind animation if end reached (and no looping)
diff: @@ -57,9 +57,14 @@ void AnimationWidget::update()
  auto now = std::chrono::system_clock::now();
  if (play) {
  time += std::chrono::duration<float>(now - lastUpdated).count() * speedup;
  - if (loop && time > timeRange.upper) {
  + if (time > timeRange.upper)
  + if (loop) {
  const float d = timeRange.size();
  - time = d == 0.f ? timeRange.lower : timeRange.lower + std::fmod(time, d);
  + time =
  + d == 0.f ? timeRange.lower : timeRange.lower + std::fmod(time, d);
  + } else {
  + time = timeRange.lower;
  + play = false;
  }
  }
  lastUpdated = now;
  