docgen: minor changes

This commit is contained in:
Andreas Rumpf 2016-09-09 16:55:20 +02:00
commit 0a2cc05541
2 changed files with 6 additions and 6 deletions

View file

@ -1289,14 +1289,14 @@ function togglepragma(d) {
function main() { function main() {
var elements = document.getElementsByClassName("pragmabegin"); var elements = document.getElementsByClassName("pragmabegin");
for (var i = 0; i &lt; elements.length; ++i) { for (var i = 0; i < elements.length; ++i) {
var e = elements[i]; var e = elements[i];
e.onclick = function(event) { e.onclick = function(event) {
togglepragma(event.target.nextSibling); togglepragma(event.target.nextSibling);
}; };
} }
var elements = document.getElementsByClassName("pragmaend"); var elements = document.getElementsByClassName("pragmaend");
for (var i = 0; i &lt; elements.length; ++i) { for (var i = 0; i < elements.length; ++i) {
var e = elements[i]; var e = elements[i];
e.onclick = function(event) { e.onclick = function(event) {
togglepragma(event.target.previousSibling); togglepragma(event.target.previousSibling);

View file

@ -244,11 +244,11 @@ proc dosearch(value: cstring): Element =
request.open("GET", "theindex.html", false); request.open("GET", "theindex.html", false);
request.send(null); request.send(null);
// var doc = document.implementation.createHTMLDocument("theindex"); var doc = document.implementation.createHTMLDocument("theindex");
// doc.documentElement.innerHTML = request.responseText; doc.documentElement.innerHTML = request.responseText;
parser=new DOMParser(); //parser=new DOMParser();
doc=parser.parseFromString(request.responseText, "text/html"); //doc=parser.parseFromString("<html></html>", "text/html");
`stuff` = doc.documentElement; `stuff` = doc.documentElement;
""".} """.}