[html5] r1107 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2007-10-26 17:48:28 -0700 (Fri, 26 Oct 2007)
New Revision: 1107

Modified:
   index
   source
Log:
[g] (2) Just make removal from the document fire .pause().

Modified: index
===================================================================
--- index	2007-10-27 00:39:43 UTC (rev 1106)
+++ index	2007-10-27 00:48:28 UTC (rev 1107)
@@ -14924,30 +14924,9 @@
 
   <p>When a <a href="#media5">media element</a> is <span>removed from a
    <code>Document</code><!-- XXX xref removed --></span>, the user agent must
-   run the following steps:
+   act as if the <code title=dom-media-pause><a
+   href="#pause0">pause()</a></code> method had been invoked.
 
-  <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><a href="#media5" title="media element">Media elements</a> 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

Modified: source
===================================================================
--- source	2007-10-27 00:39:43 UTC (rev 1106)
+++ source	2007-10-27 00:48:28 UTC (rev 1107)
@@ -12747,28 +12747,9 @@
 
   <p>When a <span>media element</span> is <span>removed from a
   <code>Document</code><!-- XXX xref removed --></span>, the user
-  agent must run the following steps:</p>
+  agent must act as if the <code
+  title="dom-media-pause">pause()</code> method had been invoked.</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><span title="media element">Media elements</span> that are
   <span>actively playing</span> while not <span>in a
   <code>Document</code></span><!-- XXX xref --> must not play any