| Index: webkit/media/android/webmediaplayer_android.h
|
| diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h
|
| index 9869e3080445802e3569408297e17a8d853407af..dcae067d07bb18fc9a86d2f17e9b101e527d3714 100644
|
| --- a/webkit/media/android/webmediaplayer_android.h
|
| +++ b/webkit/media/android/webmediaplayer_android.h
|
| @@ -137,9 +137,12 @@ class WebMediaPlayerAndroid
|
| virtual void UpdateReadyState(WebKit::WebMediaPlayer::ReadyState state);
|
|
|
| // Helper method to reestablish the surface texture peer for android
|
| - // mediaplayer.
|
| + // media player.
|
| virtual void EstablishSurfaceTexturePeer();
|
|
|
| + // Requesting whether the surface texture peer needs to be reestablished.
|
| + virtual void SetNeedsEstablishPeer(bool needs_establish_peer);
|
| +
|
| // Method to be implemented by child classes.
|
| // Initialize the media player bridge object.
|
| virtual void InitializeMediaPlayer(GURL url) = 0;
|
| @@ -164,7 +167,9 @@ class WebMediaPlayerAndroid
|
|
|
| WebKit::WebMediaPlayerClient* client() { return client_; }
|
|
|
| - int player_id() { return player_id_; }
|
| + int player_id() const { return player_id_; }
|
| +
|
| + WebMediaPlayerManagerAndroid* manager() const { return manager_; }
|
|
|
| private:
|
| WebKit::WebMediaPlayerClient* const client_;
|
|
|