function select(start, startOffset, end, endOffset) { var sel = getSelection();
sel.removeAllRanges(); var range = document.createRange();
range.setStart(start, startOffset);
range.setEnd(end, endOffset);
sel.addRange(range);
}
function boom() { var p = document.body; select(p.childNodes[0],0,p.childNodes[0],1);
sel = getSelection();
range = sel.getRangeAt(0);
range.detach();
range.insertNode(p);
}
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.