Index: webkit/media/android/webmediaplayer_manager_android.h |
diff --git a/webkit/media/android/webmediaplayer_manager_android.h b/webkit/media/android/webmediaplayer_manager_android.h |
index ce345b7de6efe074247d948bad77928cca440abf..1f61a081cf856efaf007ef9aa3ead019e85e30f9 100644 |
--- a/webkit/media/android/webmediaplayer_manager_android.h |
+++ b/webkit/media/android/webmediaplayer_manager_android.h |
@@ -13,6 +13,10 @@ namespace WebKit { |
class WebFrame; |
} |
+namespace gfx { |
+class RectF; |
+} |
+ |
namespace webkit_media { |
class WebMediaPlayerAndroid; |
@@ -45,6 +49,9 @@ class WebMediaPlayerManagerAndroid { |
// Get the pointer to WebMediaPlayerAndroid given the |player_id|. |
WebMediaPlayerAndroid* GetMediaPlayer(int player_id); |
+ // Get the list of media players with video geometry changes. |
+ void GetGeometryChanges(std::map<int, gfx::RectF>* changes); |
+ |
private: |
// Info for all available WebMediaPlayerAndroid on a page; kept so that |
// we can enumerate them to send updates about tab focus and visibily. |