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 764fc47318e379e5ed4db2d2d959251a96c326c3..72e7a075bd372cf2db2d0d347d00674f2976f3b6 100644 |
--- a/third_party/WebKit/public/web/WebSettings.h |
+++ b/third_party/WebKit/public/web/WebSettings.h |
@@ -180,6 +180,7 @@ class WebSettings { |
virtual void setForcePreloadNoneForMediaElements(bool) = 0; |
virtual void setForceZeroLayoutHeight(bool) = 0; |
virtual void setFullscreenSupported(bool) = 0; |
+ virtual void setHideDownloadUI(bool) = 0; |
virtual void setHistoryEntryRequiresUserGesture(bool) = 0; |
virtual void setHyperlinkAuditingEnabled(bool) = 0; |
virtual void setIgnoreMainFrameOverflowHiddenQuirk(bool) = 0; |