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
This problem will be less serious once #342 is fixed, but my text currently contains a lot of colons in it (because if I make them code mode, the escape characters go wild) and the editor UI misreads my intention as creating a "label" and then displays error about duplicate "labels" in the place where the colon should be (if the same label text appears twice). Some version of this bug will still remain after the other issue is fixed, because I copy-pasted this text into the editor and got the duplicate label errors right away, and could not easily recover the underlying text in the editor, even by converting it to code mode.
(Happy to add reproduction case upon request)
The text was updated successfully, but these errors were encountered:
amyjko
changed the title
Enhancement request?: colons for labels conflict with other uses of :
Colons for labels conflict with other uses of :
Jun 10, 2023
This problem will be less serious once #342 is fixed, but my text currently contains a lot of colons in it (because if I make them code mode, the escape characters go wild) and the editor UI misreads my intention as creating a "label" and then displays error about duplicate "labels" in the place where the colon should be (if the same label text appears twice). Some version of this bug will still remain after the other issue is fixed, because I copy-pasted this text into the editor and got the duplicate label errors right away, and could not easily recover the underlying text in the editor, even by converting it to code mode.
(Happy to add reproduction case upon request)
The text was updated successfully, but these errors were encountered: