Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 5b2756e307c7194f13580ffbab0eaf47f58488ee..3496f73843de11cea8a2418c76232a16557ed0d2 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -157,9 +157,9 @@ public: |
void closeMediaSource(); |
void durationChanged(double duration, bool requestSeek); |
- // controls |
philipj_slow
2014/06/27 14:26:19
Leave this as it was, since some effort appears to
|
- bool controls() const; |
- void setControls(bool); |
+ // Takes scripting and full screen mode into account. |
+ bool shouldShowControls() const; |
+ |
double volume() const; |
void setVolume(double, ExceptionState&); |
bool muted() const; |