26 Ottobre 2009 alle 14:02
#38389
::
Ok grazie. L’unica cosa che non mi soddisfa pienamente di questa soluzione è che a differenza di % non cambia il colore del testo, e quindi la parte tra \begin{comment} e \end{comment} non salta subito all’occhio come parte commentata. C’è un modo di far apparire questo testo in grigio?
Con quale editor? Sai, ne conosco almeno dieci e tutti fanno le cose in modo diverso.
Di solito gli editor buoni ti permettono di scegliere una regione e commentarla con un % davanti tutta in un colpo (o di togliere il %).
Ciao
Enrico