You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
str : String
str =
"""
Didn't expect the whitespace and the brackets to be considered data
constructors. The whitespace at the beginning of each line isn't
significant, so I'd think it wouldn't get highlighted.
\{ show (1 + 1) }
Also expected the whitespace inside the snippet to have the same highlight as
the whitespace outside (none at all).
"""
<+> show (1 + 1)
Here is a sample of the unexpected whitespace and bracket getting highlighted as a data constructor:
I added the following to
markdown/Source.md
:Here is a sample of the unexpected whitespace and bracket getting highlighted as a data constructor:
<span class="IdrisData"> \\{ </span>
The text was updated successfully, but these errors were encountered: