[html5] r3579 - [e] (0) Include domintro text for clearTimeout() and clearInterval(). (bug 7175)

[whatwg at whatwg.org]

Author: ianh
Date: 2009-08-09 16:26:20 -0700 (Sun, 09 Aug 2009)
New Revision: 3579

Modified:
   index
   source
Log:
[e] (0) Include domintro text for clearTimeout() and clearInterval(). (bug 7175)

Modified: index
===================================================================
--- index	2009-08-09 23:17:28 UTC (rev 3578)
+++ index	2009-08-09 23:26:20 UTC (rev 3579)
@@ -51576,6 +51576,14 @@
 
    </dd>
 
+   <dt><var title="">window</var> . <code title=dom-windowtimers-clearTimeout><a href=#dom-windowtimers-cleartimeout>clearTimeout</a></code>( <var title="">handle</var> )</dt>
+
+   <dd>
+
+    <p>Cancels the timeout set with <code title=dom-windowtimers-setTimeout><a href=#dom-windowtimers-settimeout>setTimeout()</a></code> identified by <var title="">handle</var>.</p>
+
+   </dd>
+
    <dt><var title="">handle</var> = <var title="">window</var> . <code title=dom-windowtimers-setInterval><a href=#dom-windowtimers-setinterval>setInterval</a></code>( <var title="">handler</var> [, <var title="">timeout</var> [, <var title="">arguments</var> ] ] )</dt>
 
    <dd>
@@ -51594,6 +51602,14 @@
 
    </dd>
 
+   <dt><var title="">window</var> . <code title=dom-windowtimers-clearInterval><a href=#dom-windowtimers-clearinterval>clearInterval</a></code>( <var title="">handle</var> )</dt>
+
+   <dd>
+
+    <p>Cancels the timeout set with <code title=dom-windowtimers-setInterval><a href=#dom-windowtimers-setinterval>setInterval()</a></code> identified by <var title="">handle</var>.</p>
+
+   </dd>
+
   </dl>
 
   <p class=note>This API does not guarantee that timers will fire

Modified: source
===================================================================
--- source	2009-08-09 23:17:28 UTC (rev 3578)
+++ source	2009-08-09 23:26:20 UTC (rev 3579)
@@ -54951,6 +54951,14 @@
 
    </dd>
 
+   <dt><var title="">window</var> . <code title="dom-windowtimers-clearTimeout">clearTimeout</code>( <var title="">handle</var> )</dt>
+
+   <dd>
+
+    <p>Cancels the timeout set with <code title="dom-windowtimers-setTimeout">setTimeout()</code> identified by <var title="">handle</var>.</p>
+
+   </dd>
+
    <dt><var title="">handle</var> = <var title="">window</var> . <code title="dom-windowtimers-setInterval">setInterval</code>( <var title="">handler</var> [, <var title="">timeout</var> [, <var title="">arguments</var> ] ] )</dt>
 
    <dd>
@@ -54971,6 +54979,14 @@
 
    </dd>
 
+   <dt><var title="">window</var> . <code title="dom-windowtimers-clearInterval">clearInterval</code>( <var title="">handle</var> )</dt>
+
+   <dd>
+
+    <p>Cancels the timeout set with <code title="dom-windowtimers-setInterval">setInterval()</code> identified by <var title="">handle</var>.</p>
+
+   </dd>
+
   </dl>
 
   <p class="note">This API does not guarantee that timers will fire