Reviewed and partially fixed by Tim Hatcher.
[WebKit-https.git] / WebCore / html / HTMLMediaElement.cpp
index a76c6fd..1aa50ba 100644 (file)
@@ -918,6 +918,12 @@ void HTMLMediaElement::mediaPlayerCuePointReached(MediaPlayer*, float cueTime)
     }      
 }
 
+void HTMLMediaElement::mediaPlayerRepaint(MediaPlayer*)
+{
+    if (renderer())
+        renderer()->repaint();
+}
+
 void HTMLMediaElement::addCuePoint(float time, VoidCallback* voidCallback, bool pause)
 {
     if (time < 0 || !isfinite(time))