[html5] r1623 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2008-05-14 20:28:34 -0700 (Wed, 14 May 2008)
New Revision: 1623

Modified:
   index
   source
Log:
[gow] (2) Clarify firing of events for .pause()

Modified: index
===================================================================
--- index	2008-05-15 03:27:00 UTC (rev 1622)
+++ index	2008-05-15 03:28:34 UTC (rev 1623)
@@ -16673,8 +16673,9 @@
 
    <li>
     <p>If the second 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=dom-media-paused><a href="#paused">paused</a></code>, then, after
+     any running scripts have finished executing, 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

Modified: source
===================================================================
--- source	2008-05-15 03:27:00 UTC (rev 1622)
+++ source	2008-05-15 03:28:34 UTC (rev 1623)
@@ -14587,7 +14587,8 @@
    <li><p>The method must then return.</p></li>
 
    <li><p>If the second step above changed the value of <code
-   title="dom-media-paused">paused</code>, the user agent must first
+   title="dom-media-paused">paused</code>, then, after any running
+   scripts have finished executing, 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