[html5] r4801 - [giow] (0) Don't seek to the start before playing if you're already at the start [...]

whatwg at whatwg.org whatwg at whatwg.org
Tue Feb 23 14:30:39 PST 2010


Author: ianh
Date: 2010-02-23 14:30:37 -0800 (Tue, 23 Feb 2010)
New Revision: 4801

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Don't seek to the start before playing if you're already at the start.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=9085

Modified: complete.html
===================================================================
--- complete.html	2010-02-23 11:29:14 UTC (rev 4800)
+++ complete.html	2010-02-23 22:30:37 UTC (rev 4801)
@@ -23971,9 +23971,9 @@
 
    <li>
 
-    <p>If the <a href=#ended-playback title="ended playback">playback has ended</a>,
-    <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>If the <a href=#ended-playback title="ended playback">playback has ended</a>
+    and the <a href=#direction-of-playback>direction of playback</a> is forwards, <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

Modified: index
===================================================================
--- index	2010-02-23 11:29:14 UTC (rev 4800)
+++ index	2010-02-23 22:30:37 UTC (rev 4801)
@@ -23878,9 +23878,9 @@
 
    <li>
 
-    <p>If the <a href=#ended-playback title="ended playback">playback has ended</a>,
-    <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>If the <a href=#ended-playback title="ended playback">playback has ended</a>
+    and the <a href=#direction-of-playback>direction of playback</a> is forwards, <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

Modified: source
===================================================================
--- source	2010-02-23 11:29:14 UTC (rev 4800)
+++ source	2010-02-23 22:30:37 UTC (rev 4801)
@@ -25826,9 +25826,10 @@
 
    <li>
 
-    <p>If the <span title="ended playback">playback has ended</span>,
-    <span title="dom-media-seek">seek</span> to the <span>earliest
-    possible position</span> of the <span>media resource</span>.</p>
+    <p>If the <span title="ended playback">playback has ended</span>
+    and the <span>direction of playback</span> is forwards, <span
+    title="dom-media-seek">seek</span> to the <span>earliest possible
+    position</span> of the <span>media resource</span>.</p>
 
     <p class="note">This <a href="#seekUpdate">will cause</a> the user
     agent to <span>queue a task</span> to <span>fire a simple




More information about the Commit-Watchers mailing list