Workaround for Samsung email issues

content/public/common/web_preferences.h

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;

[Avi (use Gerrit), 2017/04/05 14:30:01]

Needs a comment explaining what this does, why this is here, and when we're
removing it. (We are eventually removing this, yes? Do we work around Samsung
forever?)

[Changwan Ryu, 2017/04/05 17:29:37]

Done.

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