Grazie. Stavo infatti leggendo qualcosa al riguardo, ma mi sembra un editor troppo ricco di funzioni per le mie esigenze.
Mi hai chiarito comunque che devo cercare sotto javascript e non php.
Grazie mille!