Reviewed and partially fixed by Tim Hatcher.
[WebKit-https.git] / WebCore / html / HTMLMediaElement.h
index 271fb1a..3235366 100644 (file)
@@ -142,7 +142,8 @@ private: // MediaPlayerObserver
     virtual void mediaPlayerTimeChanged(MediaPlayer*);
     virtual void mediaPlayerVolumeChanged(MediaPlayer*);
     virtual void mediaPlayerCuePointReached(MediaPlayer*, float cueTime);
-        
+    virtual void mediaPlayerRepaint(MediaPlayer*);
+
 private:
     void loadTimerFired(Timer<HTMLMediaElement>*);
     void asyncEventTimerFired(Timer<HTMLMediaElement>*);