| Index: third_party/WebKit/Source/core/page/Page.cpp
|
| diff --git a/third_party/WebKit/Source/core/page/Page.cpp b/third_party/WebKit/Source/core/page/Page.cpp
|
| index ecfd49d77745f84dfeb70b3cf949868ddecda93d..43f506e98eab9bc7086647e2a629150ab5535ae6 100644
|
| --- a/third_party/WebKit/Source/core/page/Page.cpp
|
| +++ b/third_party/WebKit/Source/core/page/Page.cpp
|
| @@ -437,6 +437,16 @@ void Page::settingsChanged(SettingsDelegate::ChangeType changeType) {
|
| }
|
| }
|
| } break;
|
| + case SettingsDelegate::MediaControlsChange:
|
| + for (Frame* frame = mainFrame(); frame;
|
| + frame = frame->tree().traverseNext()) {
|
| + if (!frame->isLocalFrame())
|
| + continue;
|
| + Document* doc = toLocalFrame(frame)->document();
|
| + if (doc)
|
| + HTMLMediaElement::onMediaControlsEnabledChange(doc);
|
| + }
|
| + break;
|
| }
|
| }
|
|
|
|
|