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