Jasmin Blanchette (Feb 19 2020 at 16:25):
@Gabriel Ebner - Syntax highlighting in comments is cool! But for some reason, ## headings don't like hyphens. Compare
/-! ## Question 2: One Point Rules -/ /-! ## Question 2: One-Point Rules -/
Gabriel Ebner (Feb 19 2020 at 16:27):
So the problem is that the grammar for the markdown syntax needs to be careful not to consume the final
-/. And it's surprisingly hard to make that work reliably in textmate grammars, so I just made it stop at dashes to be on the safe side. I'll see if I can relax that a bit.
Gabriel Ebner (Feb 19 2020 at 16:32):
Please tell me if anything broke.
Last updated: May 11 2021 at 12:15 UTC