- From: poot <cvsmail@w3.org>
- Date: Fri, 17 Jun 2011 05:53:59 -0400
- To: public-html-diffs@w3.org
hixie: try to clarify the non-normative text here (whatwg r6203) http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.4970&r2=1.4971&f=h http://html5.org/tools/web-apps-tracker?from=6202&to=6203 =================================================================== RCS file: /sources/public/html5/spec/Overview.html,v retrieving revision 1.4970 retrieving revision 1.4971 diff -u -d -r1.4970 -r1.4971 --- Overview.html 9 Jun 2011 06:57:30 -0000 1.4970 +++ Overview.html 9 Jun 2011 07:20:53 -0000 1.4971 @@ -49910,7 +49910,7 @@ long <a href="#dom-windowtimers-setinterval" title="dom-windowtimers-setInterval">setInterval</a>(in any handler, in optional any timeout, in any... args); void <a href="#dom-windowtimers-clearinterval" title="dom-windowtimers-clearInterval">clearInterval</a>(in long handle); }; -<a href="#window">Window</a> implements <a href="#windowtimers">WindowTimers</a>;</pre><dl class="domintro"><dt><var title="">handle</var> = <var title="">window</var> . <code title="dom-windowtimers-setTimeout"><a href="#dom-windowtimers-settimeout">setTimeout</a></code>( <var title="">handler</var> [, <var title="">timeout</var> [, <var title="">arguments</var> ] ] )</dt> +<a href="#window">Window</a> implements <a href="#windowtimers">WindowTimers</a>;</pre><dl class="domintro"><dt><var title="">handle</var> = <var title="">window</var> . <code title="dom-windowtimers-setTimeout"><a href="#dom-windowtimers-settimeout">setTimeout</a></code>( <var title="">handler</var> [, <var title="">timeout</var> [, <var title="">arguments</var>... ] ] )</dt> <dd> @@ -49936,7 +49936,7 @@ </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> + <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>
Received on Friday, 17 June 2011 09:54:05 UTC