| Index: webkit/media/android/media_source_delegate.h
|
| diff --git a/webkit/media/android/media_source_delegate.h b/webkit/media/android/media_source_delegate.h
|
| index f2cf340ec99c37b9685790ff37884dedaa9a48b7..2419f85cff26642b6f51e88c2c1d96a0091f794d 100644
|
| --- a/webkit/media/android/media_source_delegate.h
|
| +++ b/webkit/media/android/media_source_delegate.h
|
| @@ -75,6 +75,8 @@ class MediaSourceDelegate : public media::DemuxerHost {
|
|
|
| void Seek(base::TimeDelta time);
|
|
|
| + void CancelPendingSeek();
|
| +
|
| // Called when DemuxerStreamPlayer needs to read data from ChunkDemuxer.
|
| // If it's the first request after the seek, |seek_done| will be true.
|
| void OnReadFromDemuxer(media::DemuxerStream::Type type, bool seek_done);
|
|
|