| Index: third_party/WebKit/Source/core/html/shadow/MediaControlElements.h
|
| diff --git a/third_party/WebKit/Source/core/html/shadow/MediaControlElements.h b/third_party/WebKit/Source/core/html/shadow/MediaControlElements.h
|
| index df272a9493bee9dd77330ad7c5154beb82b50715..7dd54fe3f351688432416664822f76984baba687 100644
|
| --- a/third_party/WebKit/Source/core/html/shadow/MediaControlElements.h
|
| +++ b/third_party/WebKit/Source/core/html/shadow/MediaControlElements.h
|
| @@ -31,6 +31,7 @@
|
| #define MediaControlElements_h
|
|
|
| #include "core/html/shadow/MediaControlElementTypes.h"
|
| +#include "core/html/shadow/MediaControlTimelineMetrics.h"
|
| #include "public/platform/WebLocalizedString.h"
|
|
|
| namespace blink {
|
| @@ -273,11 +274,19 @@ class MediaControlTimelineElement final : public MediaControlInputElement {
|
| void setPosition(double);
|
| void setDuration(double);
|
|
|
| + void onPlaying();
|
| +
|
| private:
|
| explicit MediaControlTimelineElement(MediaControls&);
|
|
|
| void defaultEventHandler(Event*) override;
|
| bool keepEventInNode(Event*) override;
|
| +
|
| + // Width in CSS pixels * pageZoomFactor (ignores CSS transforms for
|
| + // simplicity; deliberately ignores pinch zoom's pageScaleFactor).
|
| + int timelineWidth();
|
| +
|
| + MediaControlTimelineMetrics m_metrics;
|
| };
|
|
|
| // ----------------------------
|
|
|