| Index: public/web/WebSettings.h
|
| diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h
|
| index 34e72bed2e39647d414f64277b36c23fffb578c7..4ec830315a2b5d7a442e7eb6354cd80807c5dc64 100644
|
| --- a/public/web/WebSettings.h
|
| +++ b/public/web/WebSettings.h
|
| @@ -125,7 +125,6 @@ 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;
|
|
|