Index: webkit/media/android/webmediaplayer_android.h |
diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h |
index a0fb5bbaf78d3fd29ddf8f12c0f68367161cf033..84d35db0388b14a4d49835fe29ee248d8865778a 100644 |
--- a/webkit/media/android/webmediaplayer_android.h |
+++ b/webkit/media/android/webmediaplayer_android.h |
@@ -16,6 +16,7 @@ |
#include "third_party/WebKit/Source/Platform/chromium/public/WebSize.h" |
#include "third_party/WebKit/Source/Platform/chromium/public/WebURL.h" |
#include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayer.h" |
+#include "ui/gfx/rect_f.h" |
#include "webkit/media/android/stream_texture_factory_android.h" |
namespace webkit { |
@@ -132,6 +133,8 @@ class WebMediaPlayerAndroid |
// Detach the player from its manager. |
void Detach(); |
+ bool GetGeometryChange(gfx::RectF* rect); |
scherkus (not reviewing)
2013/04/08 14:58:23
needs docs
wonsik
2013/04/09 09:13:22
Done.
|
+ |
protected: |
// Construct a WebMediaPlayerAndroid object with reference to the |
// client, manager and stream texture factory. |
@@ -258,6 +261,8 @@ class WebMediaPlayerAndroid |
scoped_ptr<webkit::WebLayerImpl> video_weblayer_; |
+ gfx::RectF rect_; |
scherkus (not reviewing)
2013/04/08 14:58:23
perhaps there's a more descriptive name? comment?
wonsik
2013/04/09 09:13:22
Done.
|
+ |
DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerAndroid); |
}; |