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