Index: public/web/WebSettings.h |
diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h |
index 9b3dba48a8f0d09968274ff9b3c7806824fe154f..cf3cb1905fc915d2ad4910a42d3e07b5c5f238d6 100644 |
--- a/public/web/WebSettings.h |
+++ b/public/web/WebSettings.h |
@@ -106,6 +106,7 @@ |
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; |