| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index d4215242070c5d682c36ef2575492a0445d7f713..0e7773b61a7f9791c21d432fbc20c14aba327aab 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -149,7 +149,7 @@ public:
|
|
|
| // media source extensions
|
| void closeMediaSource();
|
| - void durationChanged(double duration);
|
| + void durationChanged(double duration, bool requestSeek);
|
|
|
| // controls
|
| bool controls() const;
|
| @@ -346,7 +346,8 @@ private:
|
| void startProgressEventTimer();
|
| void stopPeriodicTimers();
|
|
|
| - void seek(double time, ExceptionState&);
|
| + enum SeekSkipPermission { SkipAllowed, SkipNotAllowed};
|
| + void seek(SeekSkipPermission, double time, ExceptionState&);
|
| void finishSeek();
|
| void checkIfSeekNeeded();
|
| void addPlayedRange(double start, double end);
|
|
|