| Index: public/web/WebSettings.h
|
| diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h
|
| index 3ea9d69d5ce306a1a5180e738ce6848d7fcc6068..061e4b2315c1898a8bcbba35c1a60e2c33d78fde 100644
|
| --- a/public/web/WebSettings.h
|
| +++ b/public/web/WebSettings.h
|
| @@ -107,6 +107,7 @@ public:
|
| virtual void setDefaultFontSize(int) = 0;
|
| virtual void setDefaultTextEncodingName(const WebString&) = 0;
|
| virtual void setDefaultVideoPosterURL(const WebString&) = 0;
|
| + virtual void setDisallowFullscreenForNonMediaElements(bool) = 0;
|
| void setDeferred2dCanvasEnabled(bool) { } // temporary stub
|
| virtual void setDeferredFiltersEnabled(bool) = 0;
|
| virtual void setDeferredImageDecodingEnabled(bool) = 0;
|
|
|