| 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 cabd360d57d0c956ec7527c14cafd891136e95b6..bd5ad7800d6fa7e8cea7b7bfc2628b9fce6ce8f7 100644
|
| --- a/content/browser/media/android/browser_media_player_manager.h
|
| +++ b/content/browser/media/android/browser_media_player_manager.h
|
| @@ -220,6 +220,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.
|
|
|