Re: Il vostro editor preferito?

Sembra che le opzioni per votare siano sparite. comunque TeXmaker o Gedit con l’apposito plugin, a seconda dei casi. Possibile che tra le opzioni non ci sia Kile? Pensavo che fosse uno dei più usati in assoluto (il più usato?).