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; |
}; |
// ---------------------------- |