WebCore:
[WebKit-https.git] / WebCore / html / HTMLMediaElement.h
index d7bec74..656041c 100644 (file)
@@ -152,6 +152,7 @@ private:
     void checkIfSeekNeeded();
     
     String pickMedia();
+    void updatePlayState();
     float effectiveStart() const;
     float effectiveEnd() const;
     float effectiveLoopStart() const;
@@ -182,6 +183,7 @@ protected:
     float m_volume;
     bool m_muted;
     
+    bool m_paused;
     bool m_seeking;
     
     unsigned m_previousProgress;