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

Thomas Friedrichsmeier thomas.friedrichsmeier at
Mon Apr 23 09:08:13 UTC 2018


On Mon, 23 Apr 2018 10:10:47 +0200
Pierre de Villemereuil < at> 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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the rkward-devel mailing list