Index: media/blink/webmediaplayer_cast_android.h |
diff --git a/media/blink/webmediaplayer_cast_android.h b/media/blink/webmediaplayer_cast_android.h |
index 3a82b948496258306ace7c3df3fcc4033636fb13..ff94c167d923800a61c3ee916d23abb99d229a69 100644 |
--- a/media/blink/webmediaplayer_cast_android.h |
+++ b/media/blink/webmediaplayer_cast_android.h |
@@ -45,6 +45,7 @@ class WebMediaPlayerCast : public RendererMediaPlayerInterface { |
void SetMediaPlayerManager( |
RendererMediaPlayerManagerInterface* media_player_manager); |
bool isRemote() const { return is_remote_; } |
+ bool IsPaused() const { return paused_; } |
double currentTime() const; |
void play(); |
@@ -82,20 +83,11 @@ class WebMediaPlayerCast : public RendererMediaPlayerInterface { |
void OnRemoteRouteAvailabilityChanged( |
blink::WebRemotePlaybackAvailability availability) override; |
- // Getters of playback state. |
- // bool paused() const override; |
- |
- // True if the loaded media has a playable video track. |
- // bool hasVideo() const override; |
- |
// This function is called by the RendererMediaPlayerManager to pause the |
// video and release the media player and surface texture when we switch tabs. |
// However, the actual GlTexture is not released to keep the video screenshot. |
void SuspendAndReleaseResources() override; |
- bool paused() const override; |
- bool hasVideo() const override; |
- |
void SetDeviceScaleFactor(float scale_factor); |
scoped_refptr<VideoFrame> GetCastingBanner(); |
void setPoster(const blink::WebURL& poster); |