Index: third_party/WebKit/Source/core/html/shadow/MediaControls.h |
diff --git a/third_party/WebKit/Source/core/html/shadow/MediaControls.h b/third_party/WebKit/Source/core/html/shadow/MediaControls.h |
index a450161efaad814b31b4cecaa777d482e4e12722..7a26cf52356fc37cc27ae69575e6c4f4242c3993 100644 |
--- a/third_party/WebKit/Source/core/html/shadow/MediaControls.h |
+++ b/third_party/WebKit/Source/core/html/shadow/MediaControls.h |
@@ -46,6 +46,7 @@ class CORE_EXPORT MediaControls final : public HTMLDivElement { |
void show(); |
void hide(); |
+ bool isVisible() const; |
void playbackStarted(); |
void playbackProgressed(); |
@@ -122,7 +123,8 @@ class CORE_EXPORT MediaControls final : public HTMLDivElement { |
IgnoreNone = 0, |
IgnoreVideoHover = 1 << 0, |
IgnoreFocus = 1 << 1, |
- IgnoreControlsHover = 1 << 2 |
+ IgnoreControlsHover = 1 << 2, |
+ IgnoreWaitForTimer = 1 << 3, |
}; |
bool shouldHideMediaControls(unsigned behaviorFlags = 0) const; |
@@ -180,6 +182,7 @@ class CORE_EXPORT MediaControls final : public HTMLDivElement { |
int m_panelWidth; |
bool m_allowHiddenVolumeControls : 1; |
+ bool m_keepShowingUntilTimerFires : 1; |
}; |
DEFINE_ELEMENT_TYPE_CASTS(MediaControls, isMediaControls()); |