| Index: Source/core/html/MediaController.cpp
|
| diff --git a/Source/core/html/MediaController.cpp b/Source/core/html/MediaController.cpp
|
| index a4143250994c2a7be49dbeefe96c33d8786b3ab1..d2b33ea7b5e33659c0ab5af89e55c66c0b18ab95 100644
|
| --- a/Source/core/html/MediaController.cpp
|
| +++ b/Source/core/html/MediaController.cpp
|
| @@ -607,6 +607,22 @@ void MediaController::clearPositionTimerFired(Timer<MediaController>*)
|
| m_position = MediaPlayer::invalidTime();
|
| }
|
|
|
| +void MediaController::beginScrubbing()
|
| +{
|
| + for (size_t index = 0; index < m_mediaElements.size(); ++index)
|
| + m_mediaElements[index]->beginScrubbing();
|
| + if (m_playbackState == PLAYING)
|
| + m_clock->stop();
|
| +}
|
| +
|
| +void MediaController::endScrubbing()
|
| +{
|
| + for (size_t index = 0; index < m_mediaElements.size(); ++index)
|
| + m_mediaElements[index]->endScrubbing();
|
| + if (m_playbackState == PLAYING)
|
| + m_clock->start();
|
| +}
|
| +
|
| const AtomicString& MediaController::interfaceName() const
|
| {
|
| return EventTargetNames::MediaController;
|
|
|