function boom()
{ var t = document.getElementById("f").contentDocument.documentElement;
t.contentEditable = "true";
t.focus();
document.body.appendChild(t);
setTimeout(finish, 0);
}
function finish()
{
document.documentElement.className = "";
}
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.
