On Mon, May 24, 2010 at 3:52 PM, Philip Jägenstedt <span dir="ltr"><<a href="mailto:philipj@opera.com">philipj@opera.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">On Mon, 24 May 2010 03:03:15 +0200, Robert O'Callahan <<a href="mailto:robert@ocallahan.org" target="_blank">robert@ocallahan.org</a>> wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Here's how I think it should work:<br>
-- currentTime (and related times, such as times in TimeRanges) range from 0<br>
to 'duration'<br>
-- media resources are allowed to have a non-zero "initial playback time".<br>
This is what currentTime should be set to on media load. We could create a<br>
new DOM attribute to expose this.<br>
</blockquote>
<br></div>
Is this a typo? If currentTime runes of 0 to duration, how can it begin at something non-zero?</blockquote><div><br>Let me rephrase (English is such a bad language!):<br>-- The valid values for currentTime (and related times) range from 0 to 'duration', inclusive.<br>
-- A media resource can specify an initial value for currentTime.<br><br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">What concretely should we change? Should we drop startTime, or redefine it?</blockquote>
<div><br>We could redefine it but it might be less confusing to drop it and use another name for the initial value of currentTime. Currently startTime means something quite different to that (as others have noted, it means basically the first time in the 'seekable' TimeRanges, or currentTime if those ranges are empty).<br>
<br>So I would change:<br>-- get rid of startTime and the concept of "earliest possible position", plus the related dispatching of timeupdate events<br>-- create a new readonly DOM attribute, say call it "initialTime" that returns the default initial playback position for the media resource<br>
-- during media resource loading, when metadata loads set the current playback position to initialTime<br>-- note that currentTime is always between 0 and 'duration' (if duration is known)<br><br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Is it necessary to have the offset as an absolute date, or could that probably odd case be handled in other ways? I can't really see a browser UI making use of it, so I'd be happy to put it in a data-* attribute or using microdata.<font color="#888888"></font><br>
</blockquote></div><br>The "real time offset" is a property of the media resource (although I suppose we could have it settable via a content attribute as well) so it would need to be supported by the browser as an API on media elements. The question is whether there's enough demand to justify it. I don't know how widely supported this data is in media resource formats; Ogg Skeleton supports it, but I don't know about others.<br>
<br clear="all">Rob<br>-- <br>"He was pierced for our transgressions, he was crushed for our iniquities; the punishment that brought us peace was upon him, and by his wounds we are healed. We all, like sheep, have gone astray, each of us has turned to his own way; and the LORD has laid on him the iniquity of us all." [Isaiah 53:5-6]<br>