Zulip Chat Archive

Stream: general

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


view this post on Zulip 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 -/

view this post on Zulip 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.

view this post on Zulip Gabriel Ebner (Feb 19 2020 at 16:32):

Please tell me if anything broke.


Last updated: May 11 2021 at 12:15 UTC