- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 04 Aug 2010 15:51:17 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/markup/js
In directory hutz:/tmp/cvs-serv13053/js
Modified Files:
jump-indexes.js
Log Message:
build tweak
Index: jump-indexes.js
===================================================================
RCS file: /sources/public/html5/markup/js/jump-indexes.js,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- jump-indexes.js 4 Aug 2010 12:59:18 -0000 1.3
+++ jump-indexes.js 4 Aug 2010 15:51:15 -0000 1.4
@@ -19,7 +19,7 @@
["strong", "style", "sub", "summary", "sup"],
["table", "tbody", "td", "textarea", "tfoot", "th", "thead", "time", "title", "tr"],
["ul", "var", "video", "wbr"],
- ["global-attributes"],
+ ["global-attributes","index","toc"]
]
@@ -40,13 +40,21 @@
var separator = document.createTextNode(" ");
var elementName = elements[j];
if (document.body.className.indexOf("chunk") != -1) {
- a.setAttribute("href", elementName + ".html");
+ if (elementName == 'toc') {
+ a.setAttribute("href", "Overview.html#unexpanded-toc");
+ } else {
+ a.setAttribute("href", elementName + ".html");
+ }
} else {
- a.setAttribute("href", "#" + elementName);
+ if (elementName == 'toc') {
+ a.setAttribute("href", "#unexpanded-toc");
+ } else {
+ a.setAttribute("href", "#" + elementName);
+ }
}
if (elementName == 'global-attributes') {
elementName = 'global attributes';
- p.setAttribute("class", "jumpIndexA-other");
+ p.setAttribute("class", "jumpIndexA-other");
}
a.textContent = elementName;
p.appendChild(a);
Received on Wednesday, 4 August 2010 15:51:22 UTC