Index: public/web/WebSettings.h |
diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h |
index 93336b5e7c160ebdcb42dd8ca9b8b5b6222338f6..760b3f589ef9035d92959f5008b1d57a46664ec6 100644 |
--- a/public/web/WebSettings.h |
+++ b/public/web/WebSettings.h |
@@ -142,6 +142,7 @@ public: |
virtual void setMainFrameClipsContent(bool) = 0; |
virtual void setMainFrameResizesAreOrientationChanges(bool) = 0; |
virtual void setMaxTouchPoints(int) = 0; |
+ virtual void setMediaControlsOverlayPlayButtonEnabled(bool) = 0; |
virtual void setMediaPlaybackRequiresUserGesture(bool) = 0; |
virtual void setMinimumAccelerated2dCanvasSize(int) = 0; |
virtual void setMinimumFontSize(int) = 0; |