note : my workaround for now is to put a space between the comments symbols and the @ which also works...
like so : // @ts-expect-error this seems to not trigger the addition of @verbatim directives by Leo. -- Félix On Sunday, November 28, 2021 at 7:08:54 PM UTC-5 Félix wrote: > (*intro/context*) > In javascript and typescript , popular linters accept 'comments starting > with @' for the linter to intercept, and act accordingly, such as > //@ts-expect-error or //@ts-ignore-error (used to ignore expected errors on > the following line) > > *(problem)* > After pulling the latest Leo sources from devel and working on the leojs > typescript project, I'm getting some @verbatim directives inserted at the > very beginning of some lines, ignoring indentation, in their @file trees > upon loading, (or saving not sure) ... just above //@ts-xxx-xxx directives. > (sometimes duplicating themselves after saving/re-loading such as: > > //@verbatim > //@verbatim > //@verbatim > //@verbatim > //@verbatim > //@ts-linter-blablabla > > This seems new , I dont think I ever saw that in the last 2 weeks when I > was working on the leoUndo.ts file in leojs. > > Maybe the check for //@ to distinguish from sentinels should be more > 'precise' ? (such as : my lines didnt have the "+" character after the "@" > so they should not be mistaken with sentinels, at least not easily , if my > understanding of sentinels's beginning caracters are supposed to be... > > See screenshot below for exact view of the problem (I made sure to be in > Leo instead of leoInteg just to be sure) There's a //@verbatim without any > indentation that appeared today! hehehe... > [image: Screenshot from 2021-11-28 19-01-17.png] > Feels like a bug... Not sure if it is.. Thanks for clearing this little > thing up for my understanding ! > -- > Félix > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/26dffbb4-7201-464a-9835-b60104752de6n%40googlegroups.com.
