| 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.
|
|
|