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 e88f89046c79431e95ffdbf11d50249ad341e38c..a4455e15c9fe320fa0e626fd8a55cff50a3e3002 100644 |
--- a/third_party/WebKit/public/web/WebSettings.h |
+++ b/third_party/WebKit/public/web/WebSettings.h |
@@ -295,6 +295,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() {} |