Index: public/web/WebSettings.h |
diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h |
index 6c72c0eaa054e2c2fea42e75eafca33c5ac8a44b..9dc82eabb1e0336b865266c1224bd90a7eb025c4 100644 |
--- a/public/web/WebSettings.h |
+++ b/public/web/WebSettings.h |
@@ -205,6 +205,7 @@ public: |
virtual void setPictographFontFamily(const WebString&, UScriptCode = USCRIPT_COMMON) = 0; |
virtual void setPinchOverlayScrollbarThickness(int) = 0; |
virtual void setPluginsEnabled(bool) = 0; |
+ virtual void setPreferHiddenAudioElements(bool) = 0; |
philipj_slow
2015/07/14 11:16:22
Can now be removed?
liberato (no reviews please)
2015/07/14 22:10:37
thanks!
|
virtual void setAvailablePointerTypes(int) = 0; |
virtual void setPrimaryPointerType(PointerType) = 0; |
virtual void setAvailableHoverTypes(int) = 0; |