[giow] (1) <video> sometimes has no video data. Handle that.

Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=11139 git-svn-id: http://svn.whatwg.org/webapps@5780 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Jan 12, 2011 · 7ee91fc · 7ee91fc
1 parent 2b8e294
commit 7ee91fc
Show file tree

Hide file tree

Showing 3 changed files with 49 additions and 30 deletions.
diff --git a/complete.html b/complete.html
@@ -24618,7 +24618,9 @@ <h4 id=video><span class=secno>4.8.6 </span>The <dfn><code>video</code></dfn> el
 
   <hr><p>When no video data is available (the element's <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is either
   <code title=dom-media-HAVE_NOTHING><a href=#dom-media-have_nothing>HAVE_NOTHING</a></code>, or <code title=dom-media-HAVE_METADATA><a href=#dom-media-have_metadata>HAVE_METADATA</a></code> but no video
-  data has yet been obtained at all), the <code><a href=#video>video</a></code> element
+  data has yet been obtained at all, or the element's <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is any
+  subsequent value but the <a href=#media-resource>media resource</a> does not have a
+  video channel), the <code><a href=#video>video</a></code> element
   <a href=#represents>represents</a> either the <a href=#poster-frame>poster frame</a>, or
   nothing.</p>
 
@@ -24633,25 +24635,29 @@ <h4 id=video><span class=secno>4.8.6 </span>The <dfn><code>video</code></dfn> el
   be preferred over nothing, but the <a href=#poster-frame>poster frame</a> should
   not be shown again after a frame of video has been shown.</p>
 
-  <p>When a <code><a href=#video>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> at any other position, the
-  element <a href=#represents>represents</a> the frame of video corresponding to
-  the <a href=#current-playback-position title="current playback position">current playback
+  <p>When a <code><a href=#video>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> at any other position, and
+  the <a href=#media-resource>media resource</a> has a video channel, the element
+  <a href=#represents>represents</a> the frame of video corresponding to the
+  <a href=#current-playback-position title="current playback position">current playback
   position</a>, or, if that is not yet available (e.g. because the
   video is seeking or buffering), the last frame of the video to have
   been rendered.</p>
 
-  <p>When a <code><a href=#video>video</a></code> element is <a href=#potentially-playing>potentially
+  <p>When a <code><a href=#video>video</a></code> element whose <a href=#media-resource>media
+  resource</a> has a video channel is <a href=#potentially-playing>potentially
   playing</a>, it <a href=#represents>represents</a> the frame of video at the
   continuously increasing <a href=#current-playback-position title="current playback
   position">"current" position</a>. When the <a href=#current-playback-position>current playback
   position</a> changes such that the last frame rendered is no
   longer the frame corresponding to the <a href=#current-playback-position>current playback
-  position</a> in the video, the new frame must be
-  rendered. Similarly, any audio associated with the video must, if
-  played, be played synchronized with the <a href=#current-playback-position>current playback
-  position</a>, at the specified <a href=#dom-media-volume title=dom-media-volume>volume</a> with the specified <a href=#dom-media-muted title=dom-media-muted>mute state</a>.</p>
+  position</a> in the video, the new frame must be rendered.
 
-  <p>When a <code><a href=#video>video</a></code> element is neither <a href=#potentially-playing>potentially
+  Similarly, any audio associated with the <a href=#media-resource>media resource</a>
+  must, if played, be played synchronized with the <a href=#current-playback-position>current
+  playback position</a>, at the specified <a href=#dom-media-volume title=dom-media-volume>volume</a> with the specified <a href=#dom-media-muted title=dom-media-muted>mute state</a>.</p>
+
+  <p>When a <code><a href=#video>video</a></code> element whose <a href=#media-resource>media
+  resource</a> has a video channel is neither <a href=#potentially-playing>potentially
   playing</a> nor <a href=#dom-media-paused title=dom-media-paused>paused</a>
   (e.g. when seeking or stalled), the element <a href=#represents>represents</a>
   the last frame of the video to have been rendered.</p>

diff --git a/index b/index
@@ -24600,7 +24600,9 @@ href="?audio"&gt;audio&lt;/a&gt; test instead.)&lt;/p&gt;</pre>
 
   <hr><p>When no video data is available (the element's <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is either
   <code title=dom-media-HAVE_NOTHING><a href=#dom-media-have_nothing>HAVE_NOTHING</a></code>, or <code title=dom-media-HAVE_METADATA><a href=#dom-media-have_metadata>HAVE_METADATA</a></code> but no video
-  data has yet been obtained at all), the <code><a href=#video>video</a></code> element
+  data has yet been obtained at all, or the element's <code title=dom-media-readyState><a href=#dom-media-readystate>readyState</a></code> attribute is any
+  subsequent value but the <a href=#media-resource>media resource</a> does not have a
+  video channel), the <code><a href=#video>video</a></code> element
   <a href=#represents>represents</a> either the <a href=#poster-frame>poster frame</a>, or
   nothing.</p>
 
@@ -24615,25 +24617,29 @@ href="?audio"&gt;audio&lt;/a&gt; test instead.)&lt;/p&gt;</pre>
   be preferred over nothing, but the <a href=#poster-frame>poster frame</a> should
   not be shown again after a frame of video has been shown.</p>
 
-  <p>When a <code><a href=#video>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> at any other position, the
-  element <a href=#represents>represents</a> the frame of video corresponding to
-  the <a href=#current-playback-position title="current playback position">current playback
+  <p>When a <code><a href=#video>video</a></code> element is <a href=#dom-media-paused title=dom-media-paused>paused</a> at any other position, and
+  the <a href=#media-resource>media resource</a> has a video channel, the element
+  <a href=#represents>represents</a> the frame of video corresponding to the
+  <a href=#current-playback-position title="current playback position">current playback
   position</a>, or, if that is not yet available (e.g. because the
   video is seeking or buffering), the last frame of the video to have
   been rendered.</p>
 
-  <p>When a <code><a href=#video>video</a></code> element is <a href=#potentially-playing>potentially
+  <p>When a <code><a href=#video>video</a></code> element whose <a href=#media-resource>media
+  resource</a> has a video channel is <a href=#potentially-playing>potentially
   playing</a>, it <a href=#represents>represents</a> the frame of video at the
   continuously increasing <a href=#current-playback-position title="current playback
   position">"current" position</a>. When the <a href=#current-playback-position>current playback
   position</a> changes such that the last frame rendered is no
   longer the frame corresponding to the <a href=#current-playback-position>current playback
-  position</a> in the video, the new frame must be
-  rendered. Similarly, any audio associated with the video must, if
-  played, be played synchronized with the <a href=#current-playback-position>current playback
-  position</a>, at the specified <a href=#dom-media-volume title=dom-media-volume>volume</a> with the specified <a href=#dom-media-muted title=dom-media-muted>mute state</a>.</p>
+  position</a> in the video, the new frame must be rendered.
 
-  <p>When a <code><a href=#video>video</a></code> element is neither <a href=#potentially-playing>potentially
+  Similarly, any audio associated with the <a href=#media-resource>media resource</a>
+  must, if played, be played synchronized with the <a href=#current-playback-position>current
+  playback position</a>, at the specified <a href=#dom-media-volume title=dom-media-volume>volume</a> with the specified <a href=#dom-media-muted title=dom-media-muted>mute state</a>.</p>
+
+  <p>When a <code><a href=#video>video</a></code> element whose <a href=#media-resource>media
+  resource</a> has a video channel is neither <a href=#potentially-playing>potentially
   playing</a> nor <a href=#dom-media-paused title=dom-media-paused>paused</a>
   (e.g. when seeking or stalled), the element <a href=#represents>represents</a>
   the last frame of the video to have been rendered.</p>

diff --git a/source b/source
@@ -26455,7 +26455,10 @@ href="?audio">audio&lt;/a> test instead.)&lt;/p></pre>
   title="dom-media-readyState">readyState</code> attribute is either
   <code title="dom-media-HAVE_NOTHING">HAVE_NOTHING</code>, or <code
   title="dom-media-HAVE_METADATA">HAVE_METADATA</code> but no video
-  data has yet been obtained at all), the <code>video</code> element
+  data has yet been obtained at all, or the element's <code
+  title="dom-media-readyState">readyState</code> attribute is any
+  subsequent value but the <span>media resource</span> does not have a
+  video channel), the <code>video</code> element
   <span>represents</span> either the <span>poster frame</span>, or
   nothing.</p>
 
@@ -26472,27 +26475,31 @@ href="?audio">audio&lt;/a> test instead.)&lt;/p></pre>
   not be shown again after a frame of video has been shown.</p>
 
   <p>When a <code>video</code> element is <span
-  title="dom-media-paused">paused</span> at any other position, the
-  element <span>represents</span> the frame of video corresponding to
-  the <span title="current playback position">current playback
+  title="dom-media-paused">paused</span> at any other position, and
+  the <span>media resource</span> has a video channel, the element
+  <span>represents</span> the frame of video corresponding to the
+  <span title="current playback position">current playback
   position</span>, or, if that is not yet available (e.g. because the
   video is seeking or buffering), the last frame of the video to have
   been rendered.</p>
 
-  <p>When a <code>video</code> element is <span>potentially
+  <p>When a <code>video</code> element whose <span>media
+  resource</span> has a video channel is <span>potentially
   playing</span>, it <span>represents</span> the frame of video at the
   continuously increasing <span title="current playback
   position">"current" position</span>. When the <span>current playback
   position</span> changes such that the last frame rendered is no
   longer the frame corresponding to the <span>current playback
-  position</span> in the video, the new frame must be
-  rendered. Similarly, any audio associated with the video must, if
-  played, be played synchronized with the <span>current playback
-  position</span>, at the specified <span
+  position</span> in the video, the new frame must be rendered.
+
+  Similarly, any audio associated with the <span>media resource</span>
+  must, if played, be played synchronized with the <span>current
+  playback position</span>, at the specified <span
   title="dom-media-volume">volume</span> with the specified <span
   title="dom-media-muted">mute state</span>.</p>
 
-  <p>When a <code>video</code> element is neither <span>potentially
+  <p>When a <code>video</code> element whose <span>media
+  resource</span> has a video channel is neither <span>potentially
   playing</span> nor <span title="dom-media-paused">paused</span>
   (e.g. when seeking or stalled), the element <span>represents</span>
   the last frame of the video to have been rendered.</p>