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