| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index c4df625a816d7280341172d594160b7dc9638965..5afd294b6853e4806858a861e142249a05d9a088 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -166,9 +166,13 @@ public:
|
| void setMediaKeys(MediaKeys*, ExceptionState&);
|
| DEFINE_ATTRIBUTE_EVENT_LISTENER(needkey);
|
|
|
| - // controls
|
| + // This reflects the DOM attribute.
|
| bool controls() const;
|
| void setControls(bool);
|
| +
|
| + // This version takes scripting and full screen mode into account.
|
| + bool shouldDisplayControls() const;
|
| +
|
| virtual double volume() const OVERRIDE FINAL;
|
| virtual void setVolume(double, ExceptionState&) OVERRIDE FINAL;
|
| virtual bool muted() const OVERRIDE FINAL;
|
|
|