Index: content/public/common/web_preferences.h |
diff --git a/content/public/common/web_preferences.h b/content/public/common/web_preferences.h |
index ab43cd90a57bb76e552c3d84d7ba3148cb2021e9..ade3753e8f2d941a63263fcfcad35abccb1deadc 100644 |
--- a/content/public/common/web_preferences.h |
+++ b/content/public/common/web_preferences.h |
@@ -58,6 +58,18 @@ enum V8ScriptStreamingMode { |
V8_SCRIPT_STREAMING_MODE_ALL_PLUS_BLOCK_PARSER_BLOCKING |
}; |
+#if defined(ENABLE_EXTENSIONS) |
jam
2015/02/03 16:27:01
extensions is a chrome concept, which content modu
je_julie(Not used)
2015/02/04 02:20:30
Done.
|
+// ImageAnimationPolicy is used for controlling image animation |
+// when image frame is rendered for animation. |
+// See third_party/WebKit/Source/platform/graphics/ImageAnimationPolicy.h |
+// for information on the options. |
+enum ImageAnimationPolicy { |
+ IMAGE_ANIMATION_POLICY_ALLOWED, |
+ IMAGE_ANIMATION_POLICY_ANIMATION_ONCE, |
+ IMAGE_ANIMATION_POLICY_NO_ANIMATION |
+}; |
+#endif |
+ |
// 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. |
@@ -195,6 +207,10 @@ struct CONTENT_EXPORT WebPreferences { |
// pepper plugins. Defaults to false. |
bool pepper_accelerated_video_decode_enabled; |
+#if defined(ENABLE_EXTENSIONS) |
+ ImageAnimationPolicy animation_policy; |
+#endif |
+ |
#if defined(OS_ANDROID) |
bool text_autosizing_enabled; |
float font_scale_factor; |