Index: content/public/common/web_preferences.h |
diff --git a/content/public/common/web_preferences.h b/content/public/common/web_preferences.h |
index 12da598b165eb32f43743fae42294b145172181b..0779b5c6f788c3ee4ebca2f9c78990cf0be8b216 100644 |
--- a/content/public/common/web_preferences.h |
+++ b/content/public/common/web_preferences.h |
@@ -54,6 +54,12 @@ enum V8ScriptStreamingMode { |
V8_SCRIPT_STREAMING_MODE_ALL_PLUS_BLOCK_PARSER_BLOCKING |
}; |
+enum ImageAnimationPolicy { |
+ IMAGE_ANIMATION_POLICY_ALLOWED, |
+ IMAGE_ANIMATION_POLICY_ANIMATION_ONCE, |
+ IMAGE_ANIMATION_POLICY_NO_ANIMATION |
+}; |
+ |
// The ISO 15924 script code for undetermined script aka Common. It's the |
// default used on WebKit's side to get/set a font setting when no script is |
// specified. |
@@ -182,6 +188,8 @@ struct CONTENT_EXPORT WebPreferences { |
// pepper plugins. Defaults to false. |
bool pepper_accelerated_video_decode_enabled; |
+ ImageAnimationPolicy animation_policy; |
+ |
#if defined(OS_ANDROID) |
bool text_autosizing_enabled; |
float font_scale_factor; |