Single newlines in tags get rendered as-is in Discord #3172
Labels
a: frontend
Related to output and formatting
a: tags
Related to bot tags
s: planning
Discussing details
t: bug
Something isn't working
According to the markdown spec, lines separated by a single newline should be joined with a space.
Discord embeds doesn't seem to respect this, as demonstrated by the
!traceback
tag:bot/bot/resources/tags/traceback.md
Lines 5 to 8 in 13927ec
We could resolve this by formatting paragraphs on a single line, but I think joining the lines manually as the tag is loaded is better (something along the lines of
re.sub(r"(?<!\n)\n(?!\n)", " ", content)
) since it leaves open more formatting options.The text was updated successfully, but these errors were encountered: