-
-
Notifications
You must be signed in to change notification settings - Fork 323
Closed
Labels
frontendConcerning the HTML editorConcerning the HTML editor
Description
Hey everyone! Not entirely sure whether this is an issue that can be fixed on Pluto's end or it's some Unicode weirdness outside of Pluto's control, but when I try to create a docstring containing multiple subscript characters in a row, Pluto renders it differently from the way it looks in the cell:
Video
text_rendering.mp4
Example notebook
https://gist.github.com/chrisoffner/55cca40d8d75da977de4e5fa74295511
Metadata
Metadata
Assignees
Labels
frontendConcerning the HTML editorConcerning the HTML editor