Should "headline" (line starting with ##) be true for isCode?

[Pierre de Villemereuil]

Thanks!

Le lundi 23 avril 2018, 11:08:13 CEST Thomas Friedrichsmeier a écrit :
> Hi!
> 
> On Mon, 23 Apr 2018 10:10:47 +0200
> Pierre de Villemereuil <pierre.de.villemereuil at mailoo.org> wrote:
> > While working on a small bug on my indentation script, I realised the
> > issue was not in my script but in the fact that a line starting with
> > ## (highlighted as "headline" as far as I can tell) was considered
> > isCode == TRUE rather being isComment == TRUE. Is this normal? These
> > lines actually being specially highlighted comments, I don't expect
> > them to be considered part of the code.
> 
> A bug, indeed. I've committed fixes, both to our copy of the
> highlighting definition, and that in the syntax-highlighting framework.
> 
> Regards
> Thomas