Index: content/public/common/web_preferences.h |
diff --git a/content/public/common/web_preferences.h b/content/public/common/web_preferences.h |
index 261002156226cb2e6f66887d42d477fd0d3dc4a6..c39014196be97245da5e8693042297ccfa4ebb5f 100644 |
--- a/content/public/common/web_preferences.h |
+++ b/content/public/common/web_preferences.h |
@@ -287,6 +287,8 @@ struct CONTENT_EXPORT WebPreferences { |
// If disabled, media controls should never be used. |
bool media_controls_enabled; |
+ bool do_not_update_selection_on_mutating_selection_range; |
+ |
// We try to keep the default values the same as the default values in |
// chrome, except for the cases where it would require lots of extra work for |
// the embedder to use the same default value. |