| Index: content/browser/media/android/browser_media_player_manager.h
|
| diff --git a/content/browser/media/android/browser_media_player_manager.h b/content/browser/media/android/browser_media_player_manager.h
|
| index 9f38d42f7206c34fc4291550f44cda47a2a02e3c..6e0bd2476035417421abb4c0ae96aacbf4f57d49 100644
|
| --- a/content/browser/media/android/browser_media_player_manager.h
|
| +++ b/content/browser/media/android/browser_media_player_manager.h
|
| @@ -62,8 +62,6 @@ class CONTENT_EXPORT BrowserMediaPlayerManager
|
| virtual void FullscreenPlayerSeek(int msec);
|
| virtual void ExitFullscreen(bool release_media_player);
|
| virtual void SetVideoSurface(gfx::ScopedJavaSurface surface);
|
| - virtual void SuspendFullscreen();
|
| - virtual void ResumeFullscreen(gfx::ScopedJavaSurface surface);
|
|
|
| // Called when browser player wants the renderer media element to seek.
|
| // Any actual seek started by renderer will be handled by browser in OnSeek().
|
| @@ -231,6 +229,9 @@ class CONTENT_EXPORT BrowserMediaPlayerManager
|
| // The player ID pending to enter fullscreen.
|
| int pending_fullscreen_player_id_;
|
|
|
| + // Whether the fullscreen player has been Release()-d.
|
| + bool fullscreen_player_is_released_;
|
| +
|
| WebContents* web_contents_;
|
|
|
| // Object for retrieving resources media players.
|
|
|