Se a qualcuno può interessare ho realizzato un piccolo editor html in javascript.
Potete prelevarlo da qui:
http://digilander.libero.it/lorenzo1...pwk_1_0_it.zip
(è zippato per impedire al server di aggiungere il suo codice alla pagina html)