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

Pierre de Villemereuil at
Mon Apr 23 08:10:47 UTC 2018


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.


More information about the rkward-devel mailing list