Escaped HTML escape sequences #10

msrd0 commented 2026年06月17日 10:39:25 +02:00

These — should probably not be there in their escaped state:

Screenshot 2026年06月17日 at 10-38-05

Screenshot taken from https://gram-editor.com/docs/languages/python/.

These `&mdash;` should probably not be there in their escaped state:  Screenshot taken from <https://gram-editor.com/docs/languages/python/>.

krig commented 2026年06月17日 15:11:43 +02:00

Hi, thank you! Those — were actually in the python source docs. I've cleaned that up now, will push an update to the website later.

Hi, thank you! Those `&mdash;` were actually in the python source docs. I've cleaned that up now, will push an update to the website later.