| Index: Source/WebCore/html/shadow/MediaControlRootElement.cpp
|
| diff --git a/Source/WebCore/html/shadow/MediaControlRootElement.cpp b/Source/WebCore/html/shadow/MediaControlRootElement.cpp
|
| index 7aebd557e86c11a89ddc9fad9b96f69818698cc7..42e9f921a500af5acf09ab948de5d648f85e3a7c 100644
|
| --- a/Source/WebCore/html/shadow/MediaControlRootElement.cpp
|
| +++ b/Source/WebCore/html/shadow/MediaControlRootElement.cpp
|
| @@ -532,6 +532,14 @@ const AtomicString& MediaControlRootElement::shadowPseudoId() const
|
| return id;
|
| }
|
|
|
| +void MediaControlRootElement::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
|
|
|