2016-08-29 13:24 GMT+02:00 Peter Uhnák <i.uh...@gmail.com>: > > > On Mon, Aug 29, 2016 at 11:42 AM, stepharo <steph...@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. :) >
Implementing it means looking at how strings are scanned :) Thierry > > Peter >
