Index: third_party/WebKit/Source/core/html/media/MediaControls.h |
diff --git a/third_party/WebKit/Source/core/html/media/MediaControls.h b/third_party/WebKit/Source/core/html/media/MediaControls.h |
index e86fd0ae2c238d14648cf805a91b62885af8f676..b2b00dbbd71ea136c4262275bc9f1b4023c37d0b 100644 |
--- a/third_party/WebKit/Source/core/html/media/MediaControls.h |
+++ b/third_party/WebKit/Source/core/html/media/MediaControls.h |
@@ -35,8 +35,11 @@ class CORE_EXPORT MediaControls : public GarbageCollectedMixin { |
HTMLMediaElement& MediaElement() const; |
- virtual void Show() = 0; |
+ // Enables showing of the controls - only shows if appropriate. |
+ virtual void MaybeShow() = 0; |
+ // Disables showing of the controls - immediately hides. |
virtual void Hide() = 0; |
+ |
virtual void Reset() = 0; |
// Notify the media controls that the controlsList attribute has changed. |