function doTitle(node)
{
node.innerHTML = node.innerHTML.replace(regex,substr);
}
function filter(node)
{ if (node.nodeName == '#text')
{ return NodeFilter.FILTER_ACCEPT;
} elseif(node.nodeName == 'A')
{ return NodeFilter.FILTER_REJECT;
} return NodeFilter.FILTER_SKIP;
} var comments = document.getElementsByClassName("comment-body");
function doNode(parent)
{ var nodes = document.createTreeWalker(parent,NodeFilter.SHOW_ALL,{ acceptNode : filter },false); var node; while(node=nodes.nextNode())
{ var content = node.textContent; var matches = regex.exec(content);
if(matches && matches.length > 1)
{ var range = document.createRange(); var start = content.search(regex); var end = start + matches[0].length;
range.setStart(node, start);
range.setEnd(node, end); var linkNode = document.createElement("a");
linkNode.href = "https://coq.inria.fr/bugs/show_bug.cgi?id=" + matches[1];
range.surroundContents(linkNode);
//handle multiple matches in one text node
doNode(linkNode.parentNode);
}
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.