W3C home > Mailing lists > Public > public-html-diffs@w3.org > April 2009

spec/Overview.html 1.2113 2950 Add a note about the head element pointe

From: poot <cvsmail@w3.org>
Date: Thu, 2 Apr 2009 13:17:08 +0900 (JST)
To: public-html-diffs@w3.org
Message-Id: <20090402041708.C46A42BBF1@toro.w3.mag.keio.ac.jp>
Add a note about the head element pointer not being null in the 'after
head' mode. (credit: hs) (bug 6390) (whatwg r2950)
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6390

8.2.5.9 The "after head" insertion mode
http://people.w3.org/mike/diffs/html5/spec/Overview.1.2113.html#the-after-head-insertion-mode

http://people.w3.org/mike/diffs/html5/spec/Overview.diff.html
http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.2112&r2=1.2113&f=h
http://html5.org/tools/web-apps-tracker?from=2949&to=2950

===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.2112
retrieving revision 1.2113
diff -u -d -r1.2112 -r1.2113
--- Overview.html	1 Apr 2009 01:21:44 -0000	1.2112
+++ Overview.html	1 Apr 2009 01:39:51 -0000	1.2113
@@ -48995,6 +48995,9 @@
     <p>Remove the node pointed to by the <a href=#head-element-pointer><code title="">head</code> element pointer</a> from the <a href=#stack-of-open-elements>stack
     of open elements</a>.</p>
 
+    <p class=note>The <a href=#head-element-pointer><code title="">head</code> element
+    pointer</a> cannot be null at this point.</p>
+
    </dd>
 
    <dt>An end tag whose tag name is one of: "body", "html", "br"</dt>
Received on Thursday, 2 April 2009 04:17:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 December 2010 06:14:04 GMT