| 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..e2e6c5f00e3bde258cb8a2ec910a5f3eb5830145 100644
|
| --- a/content/public/common/web_preferences.h
|
| +++ b/content/public/common/web_preferences.h
|
| @@ -287,6 +287,12 @@ struct CONTENT_EXPORT WebPreferences {
|
| // If disabled, media controls should never be used.
|
| bool media_controls_enabled;
|
|
|
| + // Whether we want to disable updating selection on mutating selection range.
|
| + // This is to work around Samsung's email app issue. See
|
| + // https://crbug.com/699943 for details.
|
| + // TODO(changwan): remove this once we no longer support Android N.
|
| + 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.
|
|
|