Gruppo Utilizzatori Italiani di TeX
io scrivo direttamente nell’editor di winshell senza usare altri editor..e lì non c’è un pulsante del genere. grasie.