| Index: Source/WebKit/chromium/public/WebSettings.h
|
| diff --git a/Source/WebKit/chromium/public/WebSettings.h b/Source/WebKit/chromium/public/WebSettings.h
|
| index b67c5edf75f5e0fa0739f7fd9e83a5403958590a..841f5783f72940f68db9d237ec5e122b7990a619 100644
|
| --- a/Source/WebKit/chromium/public/WebSettings.h
|
| +++ b/Source/WebKit/chromium/public/WebSettings.h
|
| @@ -112,13 +112,13 @@ public:
|
| virtual void setGestureTapHighlightEnabled(bool) = 0;
|
| virtual void setHyperlinkAuditingEnabled(bool) = 0;
|
| virtual void setImagesEnabled(bool) = 0;
|
| - virtual void setInitializeAtMinimumPageScale(bool) = 0;
|
| virtual void setJavaEnabled(bool) = 0;
|
| virtual void setJavaScriptCanAccessClipboard(bool) = 0;
|
| virtual void setJavaScriptCanOpenWindowsAutomatically(bool) = 0;
|
| virtual void setJavaScriptEnabled(bool) = 0;
|
| virtual void setLayoutFallbackWidth(int) = 0;
|
| virtual void setLoadsImagesAutomatically(bool) = 0;
|
| + virtual void setLoadWithOverviewMode(bool) = 0;
|
| virtual void setLocalStorageEnabled(bool) = 0;
|
| virtual void setMediaPlaybackRequiresUserGesture(bool) = 0;
|
| virtual void setMemoryInfoEnabled(bool) = 0;
|
| @@ -176,6 +176,7 @@ public:
|
| void setApplyPageScaleFactorInCompositor(bool enabled) { }
|
| void setApplyDefaultDeviceScaleFactorInCompositor(bool enabled) { }
|
| void setFixedElementsLayoutRelativeToFrame(bool) { }
|
| + void setInitializeAtMinimumPageScale(bool enabled) { setLoadWithOverviewMode(enabled); }
|
|
|
| protected:
|
| ~WebSettings() { }
|
|
|