| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 1e26615e8796c22ba961631ab64714a8686e4e4b..f3a640d53227e1308556efe1cfd36c99e6563c66 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -158,6 +158,9 @@ public:
|
| bool muted() const;
|
| void setMuted(bool);
|
|
|
| + void beginScrubbing();
|
| + void endScrubbing();
|
| +
|
| // play/pause toggling that uses the media controller if present. togglePlayStateWillPlay() is
|
| // true if togglePlayState() will call play() or unpause() on the media element or controller.
|
| bool togglePlayStateWillPlay() const;
|
|
|