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..5e554f3361f79a545a0d50d08b318ab2cf407bf7 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()); |
scherkus (not reviewing)
2011/11/23 02:43:22
ditto
DaleCurtis
2011/11/24 00:03:23
Done.
|
+} |
+ |
} |
#endif |