Index: public/platform/WebMediaPlayer.h |
diff --git a/public/platform/WebMediaPlayer.h b/public/platform/WebMediaPlayer.h |
index ee003b57a9e7e6e4a73fb573024e7c0b9520b56e..204eb52b6b444d1da952f6672e3a639a7e707115 100644 |
--- a/public/platform/WebMediaPlayer.h |
+++ b/public/platform/WebMediaPlayer.h |
@@ -114,7 +114,17 @@ public: |
virtual void requestRemotePlaybackControl() { }; |
virtual void setPreload(Preload) { }; |
virtual WebTimeRanges buffered() const = 0; |
- virtual double maxTimeSeekable() const = 0; |
+ virtual WebTimeRanges seekable() const |
scherkus (not reviewing)
2014/09/26 01:19:27
I assume we'll be ripping this out at some point?
philipj_slow
2014/09/26 07:39:26
Yep, that's https://codereview.chromium.org/604823
|
+ { |
+ if (double end = maxTimeSeekable()) { |
+ WebTimeRanges ranges(static_cast<size_t>(1)); |
+ ranges[0].start = 0.0; |
+ ranges[0].end = end; |
+ return ranges; |
+ } |
+ return WebTimeRanges(); |
+ } |
+ virtual double maxTimeSeekable() const { return 0.0; } |
// True if the loaded media has a playable video/audio track. |
virtual bool hasVideo() const = 0; |