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 |