(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...
Feels like a bug... Not sure if it is.. Thanks for clearing this little thing up for my understanding !
--
Félix