| Index: third_party/WebKit/public/platform/WebMediaPlayer.h
|
| diff --git a/third_party/WebKit/public/platform/WebMediaPlayer.h b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| index 87c058c8da7cf3760c0fa3293db6c6c03b65dd3d..3feafceb572e0d191d0301fc2d8d677fd1dac36d 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -227,6 +227,12 @@ class WebMediaPlayer {
|
| virtual void enteredFullscreen() {}
|
| virtual void exitedFullscreen() {}
|
|
|
| + // Inform WebMediaPlayer when its ancestor enters full screen and the element
|
| + // covers most of the window.
|
| + virtual void enteredFullWindow() {}
|
| + // Inform WebMediaPlayer when its ancestor exits full screen.
|
| + virtual void exitedFullWindow() {}
|
| +
|
| virtual void enabledAudioTracksChanged(
|
| const WebVector<TrackId>& enabledTrackIds) {}
|
| // |selectedTrackId| is null if no track is selected.
|
|
|