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() { } |