Thierry

If you have a better editor control even better :)

Syntax wise, one could consider "" to be inside a comment (i.e. do not split into two comments if encountered inside a comment, as it is done now).
This one could be nice too :)

Reply via email to