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_; |