Reviewed and partially fixed by Tim Hatcher.
[WebKit-https.git] / WebCore / platform / graphics / MediaPlayer.h
index 7ea0978..4c324a8 100644 (file)
@@ -51,6 +51,7 @@ public:
     virtual void mediaPlayerVolumeChanged(MediaPlayer*) { }
     virtual void mediaPlayerTimeChanged(MediaPlayer*) { }
     virtual void mediaPlayerCuePointReached(MediaPlayer*, float cueTime) { }
+    virtual void mediaPlayerRepaint(MediaPlayer*) { }
 };
 
 class MediaPlayer : Noncopyable {
@@ -122,6 +123,8 @@ public:
     void timeChanged();
     void cuePointReached(float cueTime);
 
+    void repaint();
+    
 private:
         
     friend class MediaPlayerPrivate;