| Index: webkit/media/android/webmediaplayer_manager_android.h
|
| diff --git a/webkit/media/android/webmediaplayer_manager_android.h b/webkit/media/android/webmediaplayer_manager_android.h
|
| index 29482b705d7cdea77bad3b744733f7c295517385..1e959a0fc25dd348b8858c97ee37c1047f5aff24 100644
|
| --- a/webkit/media/android/webmediaplayer_manager_android.h
|
| +++ b/webkit/media/android/webmediaplayer_manager_android.h
|
| @@ -9,6 +9,10 @@
|
|
|
| #include "base/basictypes.h"
|
|
|
| +namespace WebKit {
|
| +class WebFrame;
|
| +}
|
| +
|
| namespace webkit_media {
|
|
|
| class WebMediaPlayerAndroid;
|
| @@ -27,6 +31,16 @@ class WebMediaPlayerManagerAndroid {
|
| // Release all the media resources managed by this object.
|
| void ReleaseMediaResources();
|
|
|
| + // Check whether a player can enter fullscreen.
|
| + bool CanEnterFullscreen(WebKit::WebFrame* frame);
|
| +
|
| + // Called when a player entered or exited fullscreen.
|
| + void DidEnterFullscreen(WebKit::WebFrame* frame);
|
| + void DidExitFullscreen();
|
| +
|
| + // Check whether the Webframe is in fullscreen.
|
| + bool IsInFullscreen(WebKit::WebFrame* frame);
|
| +
|
| // Get the pointer to WebMediaPlayerAndroid given the |player_id|.
|
| WebMediaPlayerAndroid* GetMediaPlayer(int player_id);
|
|
|
| @@ -37,6 +51,9 @@ class WebMediaPlayerManagerAndroid {
|
|
|
| int32 next_media_player_id_;
|
|
|
| + // WebFrame of the fullscreen video.
|
| + WebKit::WebFrame* fullscreen_frame_;
|
| +
|
| DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerManagerAndroid);
|
| };
|
|
|
|
|