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