| Index: Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp
|
| diff --git a/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp b/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp
|
| index d1caf9920393931026ded138bd10c77194a2102a..b5534de2e3d6a1b6762ddb2b7edbc9cb80467405 100644
|
| --- a/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp
|
| +++ b/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp
|
| @@ -290,6 +290,14 @@ const AtomicString& MediaControlRootElementChromium::shadowPseudoId() const
|
| return id;
|
| }
|
|
|
| +void MediaControlRootElementChromium::bufferingProgressed()
|
| +{
|
| + // We only need to update buffering progress when paused, during normal
|
| + // playback playbackProgressed() will take care of it.
|
| + if (m_mediaElement->paused())
|
| + m_timeline->setPosition(m_mediaElement->currentTime());
|
| +}
|
| +
|
| }
|
|
|
| #endif
|
|
|