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
Currently there's a bunch of issues with non-ASCII characters:
text gets cut in the output
random rubbish appears near the text
currently selected text has weird partial blinking animation
ignore case feature doesn't work
Is it planned to be supported? Thank you!
(And of course I don't have any non-ASCII source code, I use your awesome tool for Jupyter, to search and navigate to a particular section in page; I've got dozens of notes and it was very painful to navigate before I discovered your awesome tool, so thank you a lot)
The text was updated successfully, but these errors were encountered:
Currently there's a bunch of issues with non-ASCII characters:
Is it planned to be supported? Thank you!
(And of course I don't have any non-ASCII source code, I use your awesome tool for Jupyter, to search and navigate to a particular section in page; I've got dozens of notes and it was very painful to navigate before I discovered your awesome tool, so thank you a lot)
The text was updated successfully, but these errors were encountered: