| Index: webkit/media/android/webmediaplayer_android.h
|
| diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h
|
| index 58d0d779eb0291b198dd82faaedc66f69a3d9d47..c707ae5f4e76d9727535d62e731603f875917436 100644
|
| --- a/webkit/media/android/webmediaplayer_android.h
|
| +++ b/webkit/media/android/webmediaplayer_android.h
|
| @@ -146,6 +146,10 @@ class WebMediaPlayerAndroid
|
| // Requesting whether the surface texture peer needs to be reestablished.
|
| virtual void SetNeedsEstablishPeer(bool needs_establish_peer);
|
|
|
| + // Method called by the implementation classes to set whether the player is
|
| + // displayed to an external surface.
|
| + void SetIsInVideoView(bool is_in_video_view);
|
| +
|
| // Method to be implemented by child classes.
|
| // Initialize the media player bridge object.
|
| virtual void InitializeMediaPlayer(GURL url) = 0;
|
| @@ -231,6 +235,9 @@ class WebMediaPlayerAndroid
|
| // Whether the video size info is available.
|
| bool has_size_info_;
|
|
|
| + // Whether the player is rendered to an external surface.
|
| + bool is_in_video_view_;
|
| +
|
| // Object for allocating stream textures.
|
| scoped_ptr<StreamTextureFactory> stream_texture_factory_;
|
|
|
|
|