Qual è un buon editor html/php leggero ? ho provato HandyHTML ma dopo n po mi da regolarmente un errore e si blocca