- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 04 Aug 2010 17:18:01 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/markup/js
In directory hutz:/tmp/cvs-serv1609/js
Modified Files:
jump-indexes.js
Log Message:
added some markup for consistency per suggestion from Dom
Index: jump-indexes.js
===================================================================
RCS file: /sources/public/html5/markup/js/jump-indexes.js,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- jump-indexes.js 4 Aug 2010 15:51:15 -0000 1.4
+++ jump-indexes.js 4 Aug 2010 17:17:59 -0000 1.5
@@ -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","index","toc"]
+ ["global-attributes","index","toc","toggle"]
]
@@ -42,12 +42,18 @@
if (document.body.className.indexOf("chunk") != -1) {
if (elementName == 'toc') {
a.setAttribute("href", "Overview.html#unexpanded-toc");
+ } else if (elementName == 'toggle') {
+ a.setAttribute("href", "spec.html");
+ elementName = "single";
} else {
a.setAttribute("href", elementName + ".html");
}
} else {
if (elementName == 'toc') {
a.setAttribute("href", "#unexpanded-toc");
+ } else if (elementName == 'toggle') {
+ a.setAttribute("href", "Overview.html");
+ elementName = "multi";
} else {
a.setAttribute("href", "#" + elementName);
}
Received on Wednesday, 4 August 2010 17:18:02 UTC