| 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.
|
|
|