| 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..25283507347fcfa703cff103f6196994f9215852 100644
|
| --- a/webkit/media/android/webmediaplayer_android.h
|
| +++ b/webkit/media/android/webmediaplayer_android.h
|
| @@ -143,6 +143,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;
|
| @@ -228,6 +232,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_;
|
|
|
|
|