[html5] r6024 - [giow] (0) Pause a MediaController if all its slaves are paused, and make it so [...]
whatwg at whatwg.org
whatwg at whatwg.org
Thu Apr 21 16:35:26 PDT 2011
Author: ianh
Date: 2011-04-21 16:35:25 -0700 (Thu, 21 Apr 2011)
New Revision: 6024
Modified:
complete.html
index
source
Log:
[giow] (0) Pause a MediaController if all its slaves are paused, and make it so that the UA UI will unpause all the slaves when it unpauses a MediaController that is itself blocked because all its slaves are paused.
Modified: complete.html
===================================================================
--- complete.html 2011-04-21 23:28:57 UTC (rev 6023)
+++ complete.html 2011-04-21 23:35:25 UTC (rev 6024)
@@ -29476,7 +29476,8 @@
media elements</a> are <a href=#blocked-media-element title="blocked media
element">blocked media elements</a>, or if any of its
<a href=#slaved-media-elements>slaved media elements</a> whose <a href=#autoplaying-flag>autoplaying
- flag</a> is true still have a <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute that is true.</p>
+ flag</a> is true still have a <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute that is true, or if
+ all of its <a href=#slaved-media-elements>slaved media elements</a> have their <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute set to true.</p>
<p>A <a href=#media-element>media element</a> is <dfn id=blocked-on-its-media-controller>blocked on its media
controller</dfn> if the <code><a href=#mediacontroller>MediaController</a></code> is a
@@ -33029,9 +33030,9 @@
controller</a>, the user agent's user interface for pausing and
unpausing playback, for seeking, for changing the rate of playback,
for fast-forwarding or rewinding, and for muting or changing the
- volume of audio must be implemented specifically in terms of the
- <code><a href=#mediacontroller>MediaController</a></code> API exposed on that <a href=#current-media-controller>current media
- controller</a>.</p>
+ volume of audio of the entire group must be implemented in terms of
+ the <code><a href=#mediacontroller>MediaController</a></code> API exposed on that <a href=#current-media-controller>current
+ media controller</a>.</p>
<!--CONTROLLER-->
<p>The "play" function in the user agent's interface must set the
@@ -33060,7 +33061,14 @@
</p>
<!--CONTROLLER-->
+ <p>When a <a href=#media-element>media element</a> has a <a href=#current-media-controller>current media
+ controller</a>, and all the <a href=#slaved-media-elements>slaved media elements</a> of
+ that <code><a href=#mediacontroller>MediaController</a></code> are paused, the user agent should
+ unpause all the <a href=#slaved-media-elements>slaved media elements</a> when the user
+ invokes a user agent interface control for beginning playback.</p>
+<!--CONTROLLER-->
+<!--CONTROLLER-->
<p>When a <a href=#media-element>media element</a> has a <a href=#current-media-controller>current media
controller</a>, seeking must be implemented in terms of the <code title=dom-MediaController-seek>seek()</code> method on that
<code><a href=#mediacontroller>MediaController</a></code> object. Otherwise, the user agent must
Modified: index
===================================================================
--- index 2011-04-21 23:28:57 UTC (rev 6023)
+++ index 2011-04-21 23:35:25 UTC (rev 6024)
@@ -29488,7 +29488,8 @@
media elements</a> are <a href=#blocked-media-element title="blocked media
element">blocked media elements</a>, or if any of its
<a href=#slaved-media-elements>slaved media elements</a> whose <a href=#autoplaying-flag>autoplaying
- flag</a> is true still have a <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute that is true.</p>
+ flag</a> is true still have a <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute that is true, or if
+ all of its <a href=#slaved-media-elements>slaved media elements</a> have their <code title=dom-media-paused><a href=#dom-media-paused>paused</a></code> attribute set to true.</p>
<p>A <a href=#media-element>media element</a> is <dfn id=blocked-on-its-media-controller>blocked on its media
controller</dfn> if the <code><a href=#mediacontroller>MediaController</a></code> is a
@@ -33041,9 +33042,9 @@
controller</a>, the user agent's user interface for pausing and
unpausing playback, for seeking, for changing the rate of playback,
for fast-forwarding or rewinding, and for muting or changing the
- volume of audio must be implemented specifically in terms of the
- <code><a href=#mediacontroller>MediaController</a></code> API exposed on that <a href=#current-media-controller>current media
- controller</a>.</p>
+ volume of audio of the entire group must be implemented in terms of
+ the <code><a href=#mediacontroller>MediaController</a></code> API exposed on that <a href=#current-media-controller>current
+ media controller</a>.</p>
<!--CONTROLLER-->
<p>The "play" function in the user agent's interface must set the
@@ -33072,7 +33073,14 @@
</p>
<!--CONTROLLER-->
+ <p>When a <a href=#media-element>media element</a> has a <a href=#current-media-controller>current media
+ controller</a>, and all the <a href=#slaved-media-elements>slaved media elements</a> of
+ that <code><a href=#mediacontroller>MediaController</a></code> are paused, the user agent should
+ unpause all the <a href=#slaved-media-elements>slaved media elements</a> when the user
+ invokes a user agent interface control for beginning playback.</p>
+<!--CONTROLLER-->
+<!--CONTROLLER-->
<p>When a <a href=#media-element>media element</a> has a <a href=#current-media-controller>current media
controller</a>, seeking must be implemented in terms of the <code title=dom-MediaController-seek>seek()</code> method on that
<code><a href=#mediacontroller>MediaController</a></code> object. Otherwise, the user agent must
Modified: source
===================================================================
--- source 2011-04-21 23:28:57 UTC (rev 6023)
+++ source 2011-04-21 23:35:25 UTC (rev 6024)
@@ -32140,7 +32140,9 @@
element">blocked media elements</span>, or if any of its
<span>slaved media elements</span> whose <span>autoplaying
flag</span> is true still have a <code
- title="dom-media-paused">paused</code> attribute that is true.</p>
+ title="dom-media-paused">paused</code> attribute that is true, or if
+ all of its <span>slaved media elements</span> have their <code
+ title="dom-media-paused">paused</code> attribute set to true.</p>
<p>A <span>media element</span> is <dfn>blocked on its media
controller</dfn> if the <code>MediaController</code> is a
@@ -36327,9 +36329,9 @@
controller</span>, the user agent's user interface for pausing and
unpausing playback, for seeking, for changing the rate of playback,
for fast-forwarding or rewinding, and for muting or changing the
- volume of audio must be implemented specifically in terms of the
- <code>MediaController</code> API exposed on that <span>current media
- controller</span>.</p>
+ volume of audio of the entire group must be implemented in terms of
+ the <code>MediaController</code> API exposed on that <span>current
+ media controller</span>.</p>
<!--START w3c-html--><!--CONTROLLER-->
<p>The "play" function in the user agent's interface must set the
@@ -36358,7 +36360,14 @@
</p>
<!--END w3c-html--><!--CONTROLLER-->
+ <p>When a <span>media element</span> has a <span>current media
+ controller</span>, and all the <span>slaved media elements</span> of
+ that <code>MediaController</code> are paused, the user agent should
+ unpause all the <span>slaved media elements</span> when the user
+ invokes a user agent interface control for beginning playback.</p>
+<!--START w3c-html--><!--CONTROLLER-->
+<!--END w3c-html--><!--CONTROLLER-->
<p>When a <span>media element</span> has a <span>current media
controller</span>, seeking must be implemented in terms of the <code
title="dom-MediaController-seek">seek()</code> method on that
More information about the Commit-Watchers
mailing list