Index: webkit/media/android/webmediaplayer_android.h |
diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h |
index c325ce43529dadbee966b685f6d971bd5a2f42e3..d5d9c64caf2f99bb2aeb66c0135434b57594c115 100644 |
--- a/webkit/media/android/webmediaplayer_android.h |
+++ b/webkit/media/android/webmediaplayer_android.h |
@@ -181,6 +181,12 @@ class WebMediaPlayerAndroid |
WebMediaPlayerManagerAndroid* manager() const { return manager_; } |
+ // Request whether the player needs external surface for rendering. |
+ void SetNeedsExternalSurface(bool needs_external_surface); |
ycheo
2013/03/14 09:45:52
Do you need this api?
wonsik
2013/03/14 10:57:01
Removed.
|
+ |
+ // Request external surface for out-of-band composition. |
+ virtual void RequestExternalSurface() = 0; |
+ |
private: |
void ReallocateVideoFrame(); |
@@ -245,6 +251,9 @@ class WebMediaPlayerAndroid |
// frame available. It should be initialized on the compositor thread. |
scoped_ptr<StreamTextureProxy> stream_texture_proxy_; |
+ // Whether media player needs external surface. |
+ bool needs_external_surface_; |
+ |
DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerAndroid); |
}; |