19 Novembre 2009 alle 8:17
#39380
::
quindi mi confermi che ce l’hai anche tu (sempre che utilizzi Gnome)!
ma il dubbio è: chissenefrega se gedit lo prende come testo: una volta che salvo e chiudo il documento il compilatore non dovrebbe compilarmi il tex comunque? alla fine la sequenza di caratteri è la stessa!
ed invece non viene nulla, come se fosse davvero commentato.
non mi spiego questo
Eusando un altro editor con lo stesso file di testo?
🙂
LuCa