| 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 e9f91d6b314343dc0da7c3b2156df45dfbd47966..3a58aa3ba7ea7c7261bc36f478fe24c52c303ded 100644
|
| --- a/third_party/WebKit/public/web/WebSettings.h
|
| +++ b/third_party/WebKit/public/web/WebSettings.h
|
| @@ -295,6 +295,8 @@ class WebSettings {
|
| virtual void SetExpensiveBackgroundThrottlingMaxBudget(float) = 0;
|
| virtual void SetExpensiveBackgroundThrottlingMaxDelay(float) = 0;
|
| virtual void SetMediaControlsEnabled(bool) = 0;
|
| + virtual void SetAutomationControlled(bool) = 0;
|
| + virtual void SetHeadless(bool) = 0;
|
| virtual void SetDoNotUpdateSelectionOnMutatingSelectionRange(bool) = 0;
|
|
|
| protected:
|
|
|