| 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 79f2b23015a3d01d1d8e8c39d6dc32c05fccbb01..502344c41efd535c039f0a3c0ca6fd81934121d3 100644
|
| --- a/third_party/WebKit/Source/web/WebSettingsImpl.h
|
| +++ b/third_party/WebKit/Source/web/WebSettingsImpl.h
|
| @@ -206,6 +206,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; }
|
|
|