[html5] r1100 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2007-10-26 01:03:38 -0700 (Fri, 26 Oct 2007)
New Revision: 1100

Modified:
   index
   source
Log:
[go] (2) Define what happens to media elements taken out of the document.

Modified: index
===================================================================
--- index	2007-10-26 01:08:47 UTC (rev 1099)
+++ index	2007-10-26 08:03:38 UTC (rev 1100)
@@ -14941,6 +14941,36 @@
      element.
   </ol>
 
+  <p>When a media element is removed from a <code>Document</code><!--
+  XXX xref removed -->,
+   the user agent must run the following steps:
+
+  <ol>
+   <li>
+    <p>If the <a href="#media5">media element</a>'s <code
+     title=dom-media-networkState><a
+     href="#networkstate">networkState</a></code> attribute has the value <a
+     href="#empty" title=dom-media-EMPTY>EMPTY</a>, then abort these steps.
+
+   <li>
+    <p>If the <a href="#media5">media element</a>'s <code
+     title=dom-media-paused><a href="#paused">paused</a></code> attribute is
+     false, it must be set to true.
+
+   <li>
+    <p>If the previous step above changed the value of <code
+     title=dom-media-paused><a href="#paused">paused</a></code>, the user
+     agent must first <a href="#firing2">fire a simple event</a> called <code
+     title=event-timeupdate><a href="#timeupdate">timeupdate</a></code> at
+     the element, and then <a href="#firing2">fire a simple event</a> called
+     <code title=event-pause><a href="#pause1">pause</a></code> at the
+     element.
+  </ol>
+
+  <p>Media elements that are <a href="#actively">actively playing</a> while
+   not <span>in a <code>Document</code></span><!-- XXX xref --> must not play
+   any video, but should play any audio component.
+
   <p>The <dfn id=ended0 title=dom-media-ended><code>ended</code></dfn>
    attribute must return true if the <a href="#media5">media element</a> has
    <a href="#ended">ended playback</a>, and false otherwise.

Modified: source
===================================================================
--- source	2007-10-26 01:08:47 UTC (rev 1099)
+++ source	2007-10-26 08:03:38 UTC (rev 1100)
@@ -12764,6 +12764,36 @@
   </ol>
 
 
+
+  <p>When a media element is removed from a <code>Document</code><!--
+  XXX xref removed -->, the user agent must run the following
+  steps:</p>
+
+  <ol>
+
+   <li><p>If the <span>media element</span>'s <code
+   title="dom-media-networkState">networkState</code> attribute has
+   the value <span title="dom-media-EMPTY">EMPTY</span>, then abort
+   these steps.</p></li>
+
+   <li><p>If the <span>media element</span>'s <code
+   title="dom-media-paused">paused</code> attribute is false, it must
+   be set to true.</p></li>
+
+   <li><p>If the previous step above changed the value of <code
+   title="dom-media-paused">paused</code>, the user agent must first
+   <span>fire a simple event</span> called <code
+   title="event-timeupdate">timeupdate</code> at the element, and then
+   <span>fire a simple event</span> called <code
+   title="event-pause">pause</code> at the element.</p></li>
+
+  </ol>
+
+  <p>Media elements that are <span>actively playing</span> while not
+  <span>in a <code>Document</code></span><!-- XXX xref --> must not
+  play any video, but should play any audio component.</p>
+
+
   <p>The <dfn title="dom-media-ended"><code>ended</code></dfn>
   attribute must return true if the <span>media element</span> has
   <span>ended playback</span>, and false otherwise.</p>