On Mon, Aug 29, 2016 at 11:42 AM, stepharo <stepharo@free.fr> wrote:

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 :)

This would be also consistent with how single quotes are handled in a string, which would make it doublenice. :)

Peter