## Stream: general

### Topic: Markdown syntax highlighting in /-! comments -/

#### 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