Index: Source/core/html/HTMLMediaElement.cpp |
diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp |
index 608390e31002930cf2cd7594880257f0dc9ea7d3..bd7d1ba11d040bf604029ba25f3ddbf2429ef909 100644 |
--- a/Source/core/html/HTMLMediaElement.cpp |
+++ b/Source/core/html/HTMLMediaElement.cpp |
@@ -2160,6 +2160,14 @@ double HTMLMediaElement::effectiveMediaVolume() const |
return volume; |
} |
+void HTMLMediaElement::notifySizeChanged(const LayoutSize& newSize) |
+{ |
+ m_cachedSize = newSize; |
+ |
+ if (mediaControls()) |
+ mediaControls()->notifyPanelWidthChanged(newSize.width()); |
+} |
+ |
// The spec says to fire periodic timeupdate events (those sent while playing) every |
// "15 to 250ms", we choose the slowest frequency |
static const double maxTimeupdateEventFrequency = 0.25; |