Ultimamente “mi sta prendendo molto” TeXworks. È un editor che implementa un’ottima ricerca diretta e inversa e ha pochi fronzoli. Quest’ultimo aspetto è un’arma a doppio taglio. Per un utente “esperto” può essere meglio, per uno alle prime armi non so. Per esempio non ha il completamento dei comandi o le iconcine per cercare simboli e comandi vari. Diversi ti consiglierebbero di abituarti con quello e, in effetti, forse è la cosa migliore. TeXStudio invece è più ricco. Lo scarichi molto semplicemente da internet e lo installi. Io personalmente, rispetto alle impostazioni di default, preferisco limitare la sua invadenza nel completamento dei comandi (trovi tutto nelle opzioni), però rispetto alla penultima versione trovo sia migliorato (hanno risolto un paio di problemini che non mi facevano piacere per niente quest’editor).
Vedi tu, comunque quello che volevo dire (a parte un paio di dritte) è che se fatichi a trovare TeXworks puoi usare TeXStudio come valida alternativa.
Ciao,
Daniele