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 57cd951499cef4add92f1f0a75b713134210b635..3cb72638936b802cb9d843f2161150dd78c81fb5 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 { |
@@ -279,11 +280,19 @@ class CORE_EXPORT MediaControlTimelineElement final |
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; |
}; |
// ---------------------------- |