I knew one in http://www.mozilla.org/editor/midas-spec.html But where I looked midas demo at http://mozilla.org/editor/midasdemo/ , then I found the following were undocument.
document.getElementById('edit').contentWindow.document.execCommand("useCSS", false, !(source));
document.getElementById('edit').contentWindow.document.execCommand("readonly", false, !(source));
Alex
