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