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
{{ message }}
This repository has been archived by the owner on Feb 15, 2022. It is now read-only.
I think we should do this after pygments, right? since pygments outputs html, it probably does most of the escaping for us. We should check the docs on that.
Also, plain text is rendered as HTML, which messes up formatting. We should fix that. This was a seperate issue caused by the file extension not being recognized
It would need to be before pygments since the pygments output we want to be real html. But escaping before pygments may mess with the pygments parser so that may cause an issue. There is also an option possibly that there is a flask plugin to do pygments highlighting for us. It may help with this issue but it also ties us down to pygments more than we are currently.
No description provided.
The text was updated successfully, but these errors were encountered: