Skip to content

VSCode Plugin: Are the editor settings still accurate? #1813

Answered by nhedger
araphiel-nf asked this question in Q&A
Discussion options

You must be logged in to vote

Yes, the docs are outdated. VS Code automatically migrates the setting. You’re welcome to send a PR if you want, otherwise I’ll fix it when I have a minute.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@araphiel-nf
Comment options

Answer selected by nhedger
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants