Index: Source/core/html/shadow/MediaControls.h |
diff --git a/Source/core/html/shadow/MediaControls.h b/Source/core/html/shadow/MediaControls.h |
index 669b295eb0d9a6c48c33c60505e8082ad1feeee5..0706645afb8f77ac925e566bc41f51fb7f143fea 100644 |
--- a/Source/core/html/shadow/MediaControls.h |
+++ b/Source/core/html/shadow/MediaControls.h |
@@ -51,6 +51,9 @@ public: |
void playbackProgressed(); |
void playbackStopped(); |
+ void beginScrubbing(); |
+ void endScrubbing(); |
+ |
void updateCurrentTimeDisplay(); |
void changedMute(); |
@@ -73,6 +76,8 @@ private: |
void makeOpaque(); |
void makeTransparent(); |
+ void updatePlayState(); |
+ |
bool shouldHideFullscreenControls(); |
void hideFullscreenControlsTimerFired(Timer<MediaControls>*); |
void startHideFullscreenControlsTimer(); |
@@ -113,8 +118,9 @@ private: |
MediaControlPanelEnclosureElement* m_enclosure; |
Timer<MediaControls> m_hideFullscreenControlsTimer; |
- bool m_isFullscreen; |
- bool m_isMouseOverControls; |
+ bool m_isFullscreen : 1; |
+ bool m_isMouseOverControls : 1; |
+ bool m_isPausedForScrubbing : 1; |
}; |
DEFINE_ELEMENT_TYPE_CASTS(MediaControls, isMediaControls()); |