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; } |