commit 06f816c7c76bc45a15e452ade8a34e8af077693e
author Torne (Richard Coles) <torne@google.com> Thu Sep 26 13:25:12 2013 +0100
committer Torne (Richard Coles) <torne@google.com> Thu Sep 26 13:25:12 2013 +0100
tree d7a185cb911e47d59888779a25809b26d0a421aa
parent 36811536b9bd86e7f1d045052a5b0551fa48ac9f

Merge from Chromium at DEPS revision 225410

This commit was generated by merge_to_master.py.

Change-Id: I639f21f936f7475217030840a808765c32e44635

public/web/WebSettings.h

diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h
index 9518a8a..cf2f86f 100644
--- a/public/web/WebSettings.h
+++ b/public/web/WebSettings.h
@@ -112,6 +112,7 @@
     virtual void setFullScreenEnabled(bool) = 0;
     virtual void setGestureTapHighlightEnabled(bool) = 0;
     virtual void setHyperlinkAuditingEnabled(bool) = 0;
+    virtual void setIgnoreMainFrameOverflowHiddenQuirk(bool) = 0;
     virtual void setImagesEnabled(bool) = 0;
     virtual void setJavaEnabled(bool) = 0;
     virtual void setJavaScriptCanAccessClipboard(bool) = 0;