| Index: Source/core/animation/Player.h
|
| diff --git a/Source/core/animation/Player.h b/Source/core/animation/Player.h
|
| index bd55fef253f04d3769890a722b570bda6d878e38..d021ccdf897ec76136dd4c25b8b5679d1c8fa226 100644
|
| --- a/Source/core/animation/Player.h
|
| +++ b/Source/core/animation/Player.h
|
| @@ -102,8 +102,8 @@ private:
|
| bool limited(double currentTime) const;
|
| double currentTimeWithoutLag() const;
|
| double currentTimeWithLag() const;
|
| - void updateTimingState(double newCurrentTime);
|
| - void updateCurrentTimingState();
|
| + void updateTimingState(double newCurrentTime, bool shouldSetOutdated = true);
|
| + void updateCurrentTimingState(bool shouldSetOutdated = true);
|
|
|
| double m_playbackRate;
|
| double m_startTime;
|
|
|