- From: poot <cvsmail@w3.org>
- Date: Wed, 29 Apr 2009 07:43:45 +0900 (JST)
- To: public-html-diffs@w3.org
markup change (whatwg r3013)
play()
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#dom-media-play
currentTime
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#dom-media-currenttime
When a media element that is potentially playing stops playing because its readyState attribute changes to a value lower than HAVE_FUTURE_DATA, without the element having ended playback, or playback having stopped due to errors, or playback having paused for user interaction, or the seeking algorithm being invoked, the user agent must queue a task to fire a simple event called timeupdate at the element, and queue a task to fire a simple event called waiting at the element.
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#fire-waiting-when-waiting
loop
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#attr-media-loop
ended
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#dom-media-ended
Once enough of the media data has been fetched to determine the duration of the media resource, its dimensions, and other metadata
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#getting-media-metadata
ended playback
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#ended-playback
earliest possible position
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#earliest-possible-position
seek
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2176.html#dom-media-seek
http://people.w3.org/mike/diffs/html5/spec/Overview.diff.html
http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.2175&r2=1.2176&f=h
http://html5.org/tools/web-apps-tracker?from=3012&to=3013
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.2175
retrieving revision 1.2176
diff -u -d -r1.2175 -r1.2176
--- Overview.html 28 Apr 2009 22:38:24 -0000 1.2175
+++ Overview.html 28 Apr 2009 22:42:14 -0000 1.2176
@@ -17901,7 +17901,7 @@
must follow these substeps:</p>
<ol><li><p>Set the <a href="#current-playback-position">current playback position</a> to the
- <var><a href="#earliest-possible-position">earliest possible position</a></var>.</li>
+ <a href="#earliest-possible-position">earliest possible position</a>.</li>
<li><p>Set the <code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> attribute to
<code title="dom-media-HAVE_METADATA"><a href="#dom-media-have_metadata">HAVE_METADATA</a></code>.</li>
@@ -18247,15 +18247,14 @@
<p>If the <a href="#media-resource">media resource</a> is a streaming resource, then
the user agent might be unable to obtain certain parts of the
- resource after it has expired from its buffer. The
- <dfn id="earliest-possible-position"><var>earliest possible position</var></dfn> is the earliest
- position in the stream that the user agent can ever obtain
- again.</p>
+ resource after it has expired from its buffer. The <dfn id="earliest-possible-position">earliest
+ possible position</dfn> is the earliest position in the stream that
+ the user agent can ever obtain again.</p>
- <p>When the <var><a href="#earliest-possible-position">earliest possible position</a></var> changes, if the
+ <p>When the <a href="#earliest-possible-position">earliest possible position</a> changes, if the
<a href="#current-playback-position">current playback position</a> is before the
- <var><a href="#earliest-possible-position">earliest possible position</a></var>, the user agent must <a href="#dom-media-seek" title="dom-media-seek">seek</a> to the <var><a href="#earliest-possible-position">earliest possible
- position</a></var>.</p>
+ <a href="#earliest-possible-position">earliest possible position</a>, the user agent must <a href="#dom-media-seek" title="dom-media-seek">seek</a> to the <a href="#earliest-possible-position">earliest possible
+ position</a>.</p>
</div><p>The <dfn id="attr-media-loop" title="attr-media-loop"><code>loop</code></dfn>
attribute is a <a href="#boolean-attribute">boolean attribute</a> that, if specified,
@@ -18621,7 +18620,7 @@
playback</a> is forwards and the <a href="#media-element">media element</a> does
not have a <code title="attr-media-loop"><a href="#attr-media-loop">loop</a></code> attribute
specified, or the <a href="#current-playback-position">current playback position</a> is the
- <var><a href="#earliest-possible-position">earliest possible position</a></var> and the <a href="#direction-of-playback">direction of
+ <a href="#earliest-possible-position">earliest possible position</a> and the <a href="#direction-of-playback">direction of
playback</a> is backwards.</p>
<p>The <dfn id="dom-media-ended" title="dom-media-ended"><code>ended</code></dfn>
@@ -18671,8 +18670,8 @@
playback</a> is forwards, then the user agent must follow these
steps:</p>
- <ol><li><p>If the <a href="#media-element">media element</a> has a <code title="attr-media-loop"><a href="#attr-media-loop">loop</a></code> attribute specified, then <a href="#dom-media-seek" title="dom-media-seek">seek</a> to the <var><a href="#earliest-possible-position">earliest possible
- position</a></var> of the <a href="#media-resource">media resource</a> and abort these
+ <ol><li><p>If the <a href="#media-element">media element</a> has a <code title="attr-media-loop"><a href="#attr-media-loop">loop</a></code> attribute specified, then <a href="#dom-media-seek" title="dom-media-seek">seek</a> to the <a href="#earliest-possible-position">earliest possible
+ position</a> of the <a href="#media-resource">media resource</a> and abort these
steps.</li> <!-- v2/v3: We should fire a 'looping' event here
to explain why this immediately fires a 'playing' event, otherwise
the 'playing' event that fires from the readyState going from
@@ -18691,7 +18690,7 @@
at the element.</li>
</ol><p>When the <a href="#current-playback-position">current playback position</a> reaches the
- <var><a href="#earliest-possible-position">earliest possible position</a></var> of the <a href="#media-resource">media
+ <a href="#earliest-possible-position">earliest possible position</a> of the <a href="#media-resource">media
resource</a> when the <a href="#direction-of-playback">direction of playback</a> is
backwards, then the user agent must follow these steps:</p>
@@ -18757,7 +18756,7 @@
<p>If the <a href="#ended-playback" title="ended playback">playback has ended</a>,
then the user agent must <a href="#dom-media-seek" title="dom-media-seek">seek</a>
- to the <var><a href="#earliest-possible-position">earliest possible position</a></var> of the <a href="#media-resource">media
+ to the <a href="#earliest-possible-position">earliest possible position</a> of the <a href="#media-resource">media
resource</a>.</p>
<p class="note">This <a href="#seekUpdate">will cause</a> the user
@@ -18986,7 +18985,7 @@
end of the <a href="#media-resource">media resource</a> instead.</li>
<li><p>If the <var title="">new playback position</var> is less
- than the <var><a href="#earliest-possible-position">earliest possible position</a></var>, let it be that
+ than the <a href="#earliest-possible-position">earliest possible position</a>, let it be that
position instead.</li>
<li><p>If the (possibly now changed) <var title="">new playback
Received on Tuesday, 28 April 2009 22:44:24 UTC