Mi sono espresso male, in effetti.
Intendevo “copio il file in sé”. Ovvio che vedrò schifezze.
In realtà, che io sappia, copiando nel modo che ho descritto, il materiale copiato viene convertito automaticamente nella codifica con cui è impostato l’editor di arrivo. Credo che si possa copiare tutto tranne la riga di inputenc, che andrà aggiunta a mano in accordo con le impostazioni del nuovo editor.
Intanto consiglio la lettura della sezione sulle codifiche che Claudio ha scritto nella sua guidona GuIT.
Ciao
Tommaso
PS: dici di non salvare e di riaprire il file con la codifica giusta, se vedi caratteri strani. Giusto, ma il punto è sempre quello: come diavolo faccio a sapere qual è la codifica giusta, se non so nulla del file che apro? 😉 L’editor TeXnicle, che poco vi interessa, indovina la codifica di un file e si adatta di conseguenza. Me l’ha scritto il suo autore in persona. Questa è una gran cosa.