W3C home > Mailing lists > Public > public-html-commits@w3.org > June 2012

html5/spec Overview.html,1.5669,1.5670

From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
Date: Tue, 05 Jun 2012 00:16:39 +0000
To: public-html-commits@w3.org
Message-Id: <E1SbhRv-0007b5-Ar@lionel-hutz.w3.org>
Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv29134

Modified Files:
	Overview.html 
Log Message:
Make the spec not appear to contradict itself. (whatwg r7117)

Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.5669
retrieving revision 1.5670
diff -u -d -r1.5669 -r1.5670
--- Overview.html	5 Jun 2012 00:13:35 -0000	1.5669
+++ Overview.html	5 Jun 2012 00:16:05 -0000	1.5670
@@ -32347,7 +32347,12 @@
   for fast-forwarding or rewinding, and for muting or changing the
   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>
+  media controller</a>. 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 also 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>
 
   <p>The "play" function in the user agent's interface must set the
   <code title="">playbackRate</code> attribute to the value of the
@@ -32371,12 +32376,6 @@
   </p>
 
   <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>
-
-  <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-currentTime"><a href="#dom-mediacontroller-currenttime">currentTime</a></code> attribute
   on that <code><a href="#mediacontroller">MediaController</a></code> object. Otherwise, the user
   agent must directly <a href="#dom-media-seek" title="dom-media-seek">seek</a> to the
Received on Tuesday, 5 June 2012 00:16:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 5 June 2012 00:16:41 GMT