19 Novembre 2009 alle 0:56
#39379
::
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