Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 4aeb78fc12c83e7ccae16436395f7b2bc49ef4f5..c1017c6b3c51f77fd386b1b972e2ab3af7f03677 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -508,6 +508,9 @@ private: |
// The last time a timeupdate event was sent in movie time. |
double m_lastTimeUpdateEventMovieTime; |
+ // The default playback start position set for the player |
philipj_slow
2014/09/02 13:03:31
Just "The default playback start position." (with
amogh.bihani
2014/09/02 13:39:54
Acknowledged.
|
+ double m_defaultPlaybackStartPosition; |
+ |
// Loading state. |
enum LoadState { WaitingForSource, LoadingFromSrcAttr, LoadingFromSourceElement }; |
LoadState m_loadState; |