Index: content/renderer/media/android/renderer_media_player_manager.h |
diff --git a/content/renderer/media/android/renderer_media_player_manager.h b/content/renderer/media/android/renderer_media_player_manager.h |
index 6830a715931de19ad3366a7a617217be9c727773..3937b5bc115ca195c0da479f2e71a7ab8fb3cbf1 100644 |
--- a/content/renderer/media/android/renderer_media_player_manager.h |
+++ b/content/renderer/media/android/renderer_media_player_manager.h |
@@ -113,6 +113,14 @@ class RendererMediaPlayerManager : public RenderViewObserver { |
// used in other methods. |
void RegisterMediaKeys(int media_keys_id, ProxyMediaKeys* media_keys); |
+ // Requests the player that is currently entered fullscreen (if any) |
qinmin
2013/12/09 23:53:19
nit: s/is/has/
|
+ // to exit. |
+ void SuspendFullscreenVideo(); |
+ |
+ // Requests the player that exited fullscreen in result of |
+ // SuspendFullscreen (if any) to reenter. |
+ void ResumeFullscreenVideo(); |
+ |
// Releases the media resources managed by this object when a video |
// is playing. |
void ReleaseVideoResources(); |
@@ -184,6 +192,13 @@ class RendererMediaPlayerManager : public RenderViewObserver { |
int next_media_player_id_; |
+ // ID of the player that entered fullscreen. |
+ int fullscreen_player_id_; |
+ |
+ // Preserves the value of fullscreen_player_id_ between PauseVideo |
+ // and ResumeVideo. |
+ int paused_fullscreen_player_id_; |
+ |
// WebFrame of the fullscreen video. |
blink::WebFrame* fullscreen_frame_; |