function boom()
{ var j = 0; var a = document.getElementById("a"); var r = document.createRange();
r.setStart(a.childNodes[0], 0);
r.setEnd(a.childNodes[1], 0);
function f()
{
if (++j >= 2) {
document.removeEventListener("DOMNodeRemoved", f);
}
r.extractContents();
}
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 und die Messung sind noch experimentell.