Index: webkit/media/android/webmediaplayer_android.h |
diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h |
index 007e62b3b8169a341ff8e26c12ee22385d42aa89..cd97d6823fff04a4d956ca5f5813a5f716a1f526 100644 |
--- a/webkit/media/android/webmediaplayer_android.h |
+++ b/webkit/media/android/webmediaplayer_android.h |
@@ -143,6 +143,8 @@ class WebMediaPlayerAndroid |
// Requesting whether the surface texture peer needs to be reestablished. |
virtual void SetNeedsEstablishPeer(bool needs_establish_peer); |
+ void SetIsInVideoView(bool is_in_video_view); |
ycheo (away)
2012/12/13 05:55:00
Please leave some comments.
wonsik2
2012/12/17 04:36:05
Done.
|
+ |
// Method to be implemented by child classes. |
// Initialize the media player bridge object. |
virtual void InitializeMediaPlayer(GURL url) = 0; |
@@ -228,6 +230,8 @@ class WebMediaPlayerAndroid |
// Whether the video size info is available. |
bool has_size_info_; |
+ bool is_in_video_view_; |
ycheo (away)
2012/12/13 05:55:00
Please leave some comments.
wonsik2
2012/12/17 04:36:05
Done.
|
+ |
// Object for allocating stream textures. |
scoped_ptr<StreamTextureFactory> stream_texture_factory_; |