| 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 70fe725205136e1f028f4b49f822ef0a5f0aa637..adb6ede2d536df0656bf4912c1b1b86498c6f6a0 100644
|
| --- a/third_party/WebKit/public/web/WebSettings.h
|
| +++ b/third_party/WebKit/public/web/WebSettings.h
|
| @@ -297,6 +297,7 @@ class WebSettings {
|
| virtual void setExpensiveBackgroundThrottlingMaxBudget(float) = 0;
|
| virtual void setExpensiveBackgroundThrottlingMaxDelay(float) = 0;
|
| virtual void setMediaControlsEnabled(bool) = 0;
|
| + virtual void setDoNotUpdateSelectionOnMutatingSelectionRange(bool) = 0;
|
|
|
| protected:
|
| ~WebSettings() {}
|
|
|