function getEdit() {
return document.getElementById("edit");
}
function editDoc() {
return getEdit().contentDocument;
}
function getEditor() { var win = editDoc().defaultView; var editingSession = SpecialPowers.wrap(win).docShell.editingSession;
return editingSession.getEditorForWindow(win);
}
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.