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); |