| 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;
|
|
|