Chromium Code Reviews| 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; |