| Index: Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp
|
| index f7cd712345cce429982e9826428ff6e0335df742..e9149060f3ef2cba82e73ece9f61b5d494d15e0c 100644
|
| --- a/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/Source/core/html/HTMLMediaElement.cpp
|
| @@ -2876,7 +2876,7 @@ void HTMLMediaElement::mediaPlayerRepaint()
|
|
|
| updateDisplayState();
|
| if (renderer())
|
| - renderer()->repaint();
|
| + renderer()->invalidatePaint();
|
| }
|
|
|
| void HTMLMediaElement::mediaPlayerSizeChanged()
|
|
|