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