html5/spec-author-view spec.html,1.1353,1.1354 spec.preprocessed.html,1.259,1.260

Update of /sources/public/html5/spec-author-view
In directory hutz:/tmp/cvs-serv4588

Modified Files:
	spec.html spec.preprocessed.html 
Log Message:
Make 'playing' fire even if the video is paused for user interaction, since otherwise you never get that event, which could be rather confusing for authors. Sadly this makes 'playing' somewhat redundant with a combination of 'canplay', 'canplaythrough', and 'play', but it's probably still useful enough. (whatwg r6017)

[updated by splitter]


Index: spec.html
===================================================================
RCS file: /sources/public/html5/spec-author-view/spec.html,v
retrieving revision 1.1353
retrieving revision 1.1354
diff -u -d -r1.1353 -r1.1354
--- spec.html	15 Apr 2011 20:54:38 -0000	1.1353
+++ spec.html	15 Apr 2011 21:53:57 -0000	1.1354
@@ -333,7 +333,7 @@
 </script></head><body onload="init()"><div class="head" id="head">
    <p><a href="http://www.w3.org/"><img alt="W3C" height="48" src="http://www.w3.org/Icons/w3c_home" width="72"></a></p>
 
-   <h1>HTML5 <span class="edition">Edition for Web Authors</span> <span class="rcsrevision">revision 1.4837</span></h1>
+   <h1>HTML5 <span class="edition">Edition for Web Authors</span> <span class="rcsrevision">revision 1.4839</span></h1>
    <h2 class="no-num no-toc" id="a-vocabulary-and-associated-apis-for-html-and-xhtml">A vocabulary and associated APIs for HTML and XHTML</h2>
    <h2 class="no-num no-toc" id="editor-s-draft-15-april-2011">Editor's Draft 15 April 2011</h2>
    <dl><dt>Latest Published Version:</dt>
@@ -355,7 +355,7 @@
     <dt>Editor:</dt>
     <dd><a href="mailto:ian@hixie.ch">Ian Hickson</a>, Google, Inc.</dd>
    </dl><p>This specification is available in the following formats: <a href="spec.html">single page HTML</a>, <a href="Overview.html">multipage HTML</a>, <a href="http://dev.w3.org/html5/spec/">full specification</a>.
-      This is revision 1.4837.</p> 
+      This is revision 1.4839.</p> 
      <p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>
    &#169; 2010 <a href="http://www.w3.org/"><abbr title="World Wide
    Web Consortium">W3C</abbr></a><sup>&#174;</sup> (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts
@@ -13428,10 +13428,9 @@
      </td><td><code title="dom-media-readyState"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-readystate" class="full-spec-link" title='Read about this "readyState" reference in the full HTML5 spec.'>readyState</a></code> is newly equal to <code title="dom-media-HAVE_ENOUGH_DATA"><a href="#dom-media-have_enough_data" id="have_enough_data-0">HAVE_ENOUGH_DATA</a></code>.
     </td></tr><tr><td><dfn id="event-media-playing" title="event-media-playing"><code>playing</code></dfn>
      </td><td><code><a href="http://dev.w3.org/html5/spec/infrastructure.html#event" class="full-spec-link" title='Read about this "Event" reference in the full HTML5 spec.'>Event</a></code>
-     </td><td>Playback has started after having been delayed due to lack of <a href="#media-data" id="media-data-11">media data</a>.
-     </td><td>The element is newly <a href="http://dev.w3.org/html5/spec/video.html#potentially-playing" class="full-spec-link" title='Read about this "potentially playing" reference in the full HTML5 spec.'>potentially playing</a>, either because <code title="dom-media-readyState"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-readystate" class="full-spec-link" title='Read about this "readyState" reference in the full HTML5 spec.'>readyState</a></code> is newly equal to or greater than <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data" id="have_future_data-2">HAVE_FUTURE_DATA</a></code>, or because <code title="dom-media-paused"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-paused" class="full-spec-link" title='Read about this "paused" reference in the full HTML5 spec.'>paused</a></code> is newly false. It is possible for playback to start without this event firing, e.g. if when playback would have started, 
-     the element had been <a href="http://dev.w3.org/html5/spec/video.html#paused-for-user-interaction" class="full-spec-link" title='Read about this "paused for user interaction" reference in the full HTML5 spec.'>paused for user interaction</a>.
-     
+     </td><td>Playback is ready to start after having been paused or delayed due to lack of <a href="#media-data" id="media-data-11">media data</a>.
+     </td><td><code title="dom-media-readyState"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-readystate" class="full-spec-link" title='Read about this "readyState" reference in the full HTML5 spec.'>readyState</a></code> is newly equal to or greater than <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data" id="have_future_data-2">HAVE_FUTURE_DATA</a></code> and <code title="dom-media-paused"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-paused" class="full-spec-link" title='Read about this "paused" reference in the full HTML5 spec.'>paused</a></code> is false, or <code title="dom-media-paused"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-paused" class="full-spec-link" title='Read about this "paused" reference in the full HTML5 spec.'>paused</a></code> is newly false and <code title="dom-media-readyState"><a href="http://dev.w3.org/html5/spec/video.html#dom-media-readystate" class="full-spec-link" title='Read about this "readyState" referene in the full HTML5 spec.'>readyState</a></code> is equal to or greater than <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data" id="have_future_data-3">HAVE_FUTURE_DATA</a></code>. Even if this event fires, the element might still not be <a href="http://dev.w3.org/html5/spec/video.html#potentially-playing" class="full-spec-link" title='Read about this "potentially playing" reference in the full HTML5 spec.'>potentially playing</a>, e.g. if
+     the element is <a href="http://dev.w3.org/html5/spec/video.html#paused-for-user-interaction" class="full-spec-link" title='Read about this "paused for user interaction" reference in the full HTML5 spec.'>paused for user interaction</a>.
     </td></tr><tr><td><dfn id="event-media-waiting" title="event-media-waiting"><code>waiting</code></dfn>
      </td><td><code><a href="http://dev.w3.org/html5/spec/infrastructure.html#event" class="full-spec-link" title='Read about this "Event" reference in the full HTML5 spec.'>Event</a></code>
      </td><td>Playback has stopped because the next frame is not available, but the user agent expects that frame to become available in due course.
@@ -37886,6 +37885,7 @@
 <dd>
 <a href="#have_future_data-1"><span class="secno">4.8.10.13 </span>Event summary</a>
 <a class="index-counter" href="#have_future_data-2">(2)</a>
+<a class="index-counter" href="#have_future_data-3">(3)</a>
 </dd>
 </dl><dl id="dom-media-have_metadata_index"><dt><span title="dom-media-HAVE_METADATA"><code>HAVE_METADATA</code></span>
 </dt>

Index: spec.preprocessed.html
===================================================================
RCS file: /sources/public/html5/spec-author-view/spec.preprocessed.html,v
retrieving revision 1.259
retrieving revision 1.260
diff -u -d -r1.259 -r1.260
--- spec.preprocessed.html	15 Apr 2011 20:54:40 -0000	1.259
+++ spec.preprocessed.html	15 Apr 2011 21:53:59 -0000	1.260
@@ -343,7 +343,7 @@
 </head><body onload="init()"><div class="head" id="head">
    <p><a href="http://www.w3.org/"><img alt="W3C" height="48" src="http://www.w3.org/Icons/w3c_home" width="72"></a></p>
 
-   <h1>HTML5 <span class="edition">Edition for Web Authors</span> <span class="rcsrevision">revision 1.4837</span></h1>
+   <h1>HTML5 <span class="edition">Edition for Web Authors</span> <span class="rcsrevision">revision 1.4839</span></h1>
    <h2 class="no-num no-toc" id="a-vocabulary-and-associated-apis-for-html-and-xhtml">A vocabulary and associated APIs for HTML and XHTML</h2>
    <h2 class="no-num no-toc" id="editor-s-draft-15-april-2011">Editor's Draft 15 April 2011</h2>
    <dl><dt>Latest Published Version:</dt>
@@ -365,7 +365,7 @@
     <dt>Editor:</dt>
     <dd><a href="mailto:ian@hixie.ch">Ian Hickson</a>, Google, Inc.</dd>
    </dl><p>This specification is available in the following formats: <a href="spec.html">single page HTML</a>, <a href="Overview.html">multipage HTML</a>, <a href="http://dev.w3.org/html5/spec/">full specification</a>.
-      This is revision 1.4837.</p> 
+      This is revision 1.4839.</p> 
      <p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>
    &#169; 2010 <a href="http://www.w3.org/"><abbr title="World Wide
    Web Consortium">W3C</abbr></a><sup>&#174;</sup> (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts
@@ -23119,9 +23119,9 @@
     <p>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> named <code title="event-media-canplay"><a href="#event-media-canplay">canplay</a></code>.</p>
 
-    <p>If the element is <a href="#potentially-playing">potentially playing</a>, 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> named <code title="event-media-playing"><a href="#event-media-playing">playing</a></code>.</p>
+    <p>If the element's <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code>
+    attribute is false, 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> named <code title="event-media-playing"><a href="#event-media-playing">playing</a></code>.</p>
 
    </dd>
 
@@ -23132,9 +23132,10 @@
 
     <p>If the previous ready state was <code title="dom-media-HAVE_CURRENT_DATA"><a href="#dom-media-have_current_data">HAVE_CURRENT_DATA</a></code> or
     less, 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> named <code title="event-media-canplay"><a href="#event-media-canplay">canplay</a></code>, and, if the element is also
-    <a href="#potentially-playing">potentially playing</a>, <a href="#queue-a-task">queue a task</a> to
-    <a href="#fire-a-simple-event">fire a simple event</a> named <code title="event-media-playing"><a href="#event-media-playing">playing</a></code>.</p>
+    a simple event</a> named <code title="event-media-canplay"><a href="#event-media-canplay">canplay</a></code>, and, if the element's
+    <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is false,
+    <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
+    named <code title="event-media-playing"><a href="#event-media-playing">playing</a></code>.</p>
 
     <p>If the <a href="#autoplaying-flag">autoplaying flag</a> is true, and the <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is true, and the
     <a href="#media-element">media element</a> has an <code title="attr-media-autoplay"><a href="#attr-media-autoplay">autoplay</a></code> attribute specified,
@@ -23459,10 +23460,10 @@
 
       <p>Otherwise, 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
       value <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data">HAVE_FUTURE_DATA</a></code> or
-      <code title="dom-media-HAVE_ENOUGH_DATA"><a href="#dom-media-have_enough_data">HAVE_ENOUGH_DATA</a></code>; if
-      the <a href="#media-element">media element</a> is <a href="#potentially-playing">potentially
-      playing</a>, then <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a
-      simple event</a> named <code title="event-media-playing"><a href="#event-media-playing">playing</a></code> at the element.</p>
+      <code title="dom-media-HAVE_ENOUGH_DATA"><a href="#dom-media-have_enough_data">HAVE_ENOUGH_DATA</a></code>:
+      <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
+      named <code title="event-media-playing"><a href="#event-media-playing">playing</a></code> at the
+      element.</p>
 
      </li>
 
@@ -25304,10 +25305,9 @@
      </td><td><code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> is newly equal to <code title="dom-media-HAVE_ENOUGH_DATA"><a href="#dom-media-have_enough_data">HAVE_ENOUGH_DATA</a></code>.
     </td></tr><tr><td><dfn id="event-media-playing" title="event-media-playing"><code>playing</code></dfn>
      </td><td><code><a href="#event">Event</a></code>
-     </td><td>Playback has started after having been delayed due to lack of <a href="#media-data">media data</a>.
-     </td><td>The element is newly <a href="#potentially-playing">potentially playing</a>, either because <code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> is newly equal to or greater than <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data">HAVE_FUTURE_DATA</a></code>, or because <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> is newly false. It is possible for playback to start without this event firing, e.g. if when playback would have started, 
-     the element had been <a href="#paused-for-user-interaction">paused for user interaction</a>.
-     
+     </td><td>Playback is ready to start after having been paused or delayed due to lack of <a href="#media-data">media data</a>.
+     </td><td><code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> is newly equal to or greater than <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data">HAVE_FUTURE_DATA</a></code> and <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> is false, or <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> is newly false and <code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> is equal to or greater than <code title="dom-media-HAVE_FUTURE_DATA"><a href="#dom-media-have_future_data">HAVE_FUTURE_DATA</a></code>. Even if this event fires, the element might still not be <a href="#potentially-playing">potentially playing</a>, e.g. if
+     the element is <a href="#paused-for-user-interaction">paused for user interaction</a>.
     </td></tr><tr><td><dfn id="event-media-waiting" title="event-media-waiting"><code>waiting</code></dfn>
      </td><td><code><a href="#event">Event</a></code>
      </td><td>Playback has stopped because the next frame is not available, but the user agent expects that frame to become available in due course.

Received on Friday, 15 April 2011 21:54:03 UTC