diff options
Diffstat (limited to 'chromium/third_party/WebKit/Source/web/WebSettingsImpl.h')
| -rw-r--r-- | chromium/third_party/WebKit/Source/web/WebSettingsImpl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chromium/third_party/WebKit/Source/web/WebSettingsImpl.h b/chromium/third_party/WebKit/Source/web/WebSettingsImpl.h index 95178e0900a..5d3c858c2ec 100644 --- a/chromium/third_party/WebKit/Source/web/WebSettingsImpl.h +++ b/chromium/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; } |