- From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 24 Sep 2009 20:03:33 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv10180
Modified Files:
Overview.html
Log Message:
Clean up the play() and pause() algorithms. (whatwg r3992)
Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.3153
retrieving revision 1.3154
diff -u -d -r1.3153 -r1.3154
--- Overview.html 24 Sep 2009 19:56:45 -0000 1.3153
+++ Overview.html 24 Sep 2009 20:03:30 -0000 1.3154
@@ -20569,16 +20569,15 @@
must run the following steps.</p>
<ol><li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-networkState"><a href="#dom-media-networkstate">networkState</a></code> attribute has
- the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, then the user
- agent must invoke the <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
+ the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, invoke the
+ <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
algorithm</a>.</li>
<li>
<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 <a href="#earliest-possible-position">earliest possible position</a> of the <a href="#media-resource">media
- resource</a>.</p>
+ <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>.</p>
<p class="note">This <a href="#seekUpdate">will cause</a> the user
agent to <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple
@@ -20590,13 +20589,12 @@
<li>
- <p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is true, it must
- be set to false.</p>
-
- <p>If this changed the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code>, the user agent must run
+ <p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is true, run
the following substeps:</p>
- <ol><li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
+ <ol><li><p>Change the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> to false.</li>
+
+ <li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
called <code title="event-media-play"><a href="#event-media-play">play</a></code> at the element.</li>
<li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> attribute has the
@@ -20616,31 +20614,34 @@
</ol></li>
- <li><p>The <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
- flag</a> must be set to false.</li>
-
- <li><p>The method must then return.</li>
+ <li><p>Set the <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
+ flag</a> to false.</li>
</ol><hr><p>When the <dfn id="dom-media-pause" title="dom-media-pause"><code>pause()</code></dfn>
method is invoked, the user agent must run the following steps:</p>
<ol><li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-networkState"><a href="#dom-media-networkstate">networkState</a></code> attribute has
- the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, then the user
- agent must invoke the <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
+ the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, invoke the
+ <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
algorithm</a>.</li>
- <li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is false, it must
- be set to true.</li>
+ <li><p>Set the <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
+ flag</a> to false.</li>
- <li><p>The <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
- flag</a> must be set to false.</li>
+ <li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is false, run the
+ following steps:</p>
- <li><p>If the second step above changed the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code>, then the user agent must
- <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
- called <code title="event-media-timeupdate"><a href="#event-media-timeupdate">timeupdate</a></code> at the
- element, and <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple
- event</a> called <code title="event-media-pause"><a href="#event-media-pause">pause</a></code> at the
- element.</li>
+ <ol><li><p>Change the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> to true.</li>
+
+ <li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple
+ event</a> called <code title="event-media-timeupdate"><a href="#event-media-timeupdate">timeupdate</a></code> at the
+ element.</li>
+
+ <li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple
+ event</a> called <code title="event-media-pause"><a href="#event-media-pause">pause</a></code>
+ at the element.</li>
+
+ </ol></li>
</ol><hr><p id="media-playback">When a <a href="#media-element">media element</a> is
<a href="#potentially-playing">potentially playing</a> and its <code>Document</code> is an
Received on Thursday, 24 September 2009 20:03:45 UTC