On Mon, Aug 29, 2016 at 11:42 AM, stepharo <[email protected]> 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
