[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