| 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 124be313b23786c115b9df0d28732df01e4e37ea..88069662c561efeb0c58b9f75cd75b1dc502f271 100644
|
| --- a/third_party/WebKit/public/web/WebSettings.h
|
| +++ b/third_party/WebKit/public/web/WebSettings.h
|
| @@ -216,6 +216,7 @@ class WebSettings {
|
| virtual void setPictographFontFamily(const WebString&,
|
| UScriptCode = USCRIPT_COMMON) = 0;
|
| virtual void setPluginsEnabled(bool) = 0;
|
| + virtual void setPresentationReceiver(bool) = 0;
|
| virtual void setAvailablePointerTypes(int) = 0;
|
| virtual void setPrimaryPointerType(PointerType) = 0;
|
| virtual void setAvailableHoverTypes(int) = 0;
|
|
|