Zulip Chat Archive

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: Dec 20 2023 at 11:08 UTC