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 |