| Index: third_party/WebKit/Source/web/WebSettingsImpl.h
|
| diff --git a/third_party/WebKit/Source/web/WebSettingsImpl.h b/third_party/WebKit/Source/web/WebSettingsImpl.h
|
| index 95178e0900a395bf8d3ca5df686830946b355bfe..5d3c858c2ec48c660d4ca27c55268de7b9192ceb 100644
|
| --- a/third_party/WebKit/Source/web/WebSettingsImpl.h
|
| +++ b/third_party/WebKit/Source/web/WebSettingsImpl.h
|
| @@ -210,6 +210,7 @@ class WEB_EXPORT WebSettingsImpl final : NON_EXPORTED_BASE(public WebSettings) {
|
| void setExpensiveBackgroundThrottlingMaxBudget(float) override;
|
| void setExpensiveBackgroundThrottlingMaxDelay(float) override;
|
| void setMediaControlsEnabled(bool) override;
|
| + void setDoNotUpdateSelectionOnMutatingSelectionRange(bool) override;
|
|
|
| bool showFPSCounter() const { return m_showFPSCounter; }
|
| bool showPaintRects() const { return m_showPaintRects; }
|
|
|