Should "headline" (line starting with ##) be true for isCode?
thomas.friedrichsmeier at ruhr-uni-bochum.de
Mon Apr 23 09:08:13 UTC 2018
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the rkward-devel