Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

VS Code highlights characters in the output/REPL window prompt #1475

Open
PEZ opened this issue Jan 15, 2022 · 0 comments · Fixed by #1485
Open

VS Code highlights characters in the output/REPL window prompt #1475

PEZ opened this issue Jan 15, 2022 · 0 comments · Fixed by #1485
Labels
output/repl window

Comments

@PEZ
Copy link
Collaborator

PEZ commented Jan 15, 2022

Recently VS Code started to highlight unicode characters in the editor. As we are using unicode characters in the REPL prompt it gets rather ugly:

image
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
output/repl window
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

1475 prompt unicode characters BetterThanTomorrow/calva
1 participant
@PEZ