::
Confermo che TeXmaker è molto comodo. Altrimenti io uso gedit con un apposito plugin. Se mi dai l’email posso mandarti un pacchetto fatto da me del plugin alla versione più recente (molto aggiornata rispetto a quella di cui è disponibile il pacchetto, corretti diversi bug).
