Index: third_party/WebKit/public/web/WebSettings.h |
diff --git a/third_party/WebKit/public/web/WebSettings.h b/third_party/WebKit/public/web/WebSettings.h |
index 13d700eec9b29f28320575d5a29956678e789459..be02486f615327b71d951e3d1b214c080fd0c303 100644 |
--- a/third_party/WebKit/public/web/WebSettings.h |
+++ b/third_party/WebKit/public/web/WebSettings.h |
@@ -174,6 +174,7 @@ public: |
virtual void setFixedFontFamily(const WebString&, UScriptCode = USCRIPT_COMMON) = 0; |
virtual void setForceZeroLayoutHeight(bool) = 0; |
virtual void setFullscreenSupported(bool) = 0; |
+ virtual void setHistoryEntryRequiresUserGesture(bool) = 0; |
virtual void setHyperlinkAuditingEnabled(bool) = 0; |
virtual void setIgnoreMainFrameOverflowHiddenQuirk(bool) = 0; |
virtual void setImageAnimationPolicy(ImageAnimationPolicy) = 0; |