Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 06cb425ff88e530813761940ec6ea550653efed8..6749d07d3465b3053d65296d1043b9749a3befe8 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -236,6 +236,10 @@ public: |
// Note that this can be non-null even if there is no controls attribute. |
MediaControls* mediaControls() const; |
+ // Notifies the media element that the media controls became visible, so |
+ // that text track layout may be updated to avoid overlapping them. |
+ void mediaControlsDidBecomeVisible(); |
+ |
void sourceWasRemoved(HTMLSourceElement*); |
void sourceWasAdded(HTMLSourceElement*); |