-
Notifications
You must be signed in to change notification settings - Fork 29k
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.
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
Extra quotes in settings json editor of non-current profile #156290
Comments
I cannot reproduce it. Anyway this comes from JSON language server. CC @aeschli |
I'm also not able to reproduce |
No, I just hit enter. |
Can you open the settings and see what |
@aeschli Do you think it is related to profiles? If so can you please share any insights on what would have caused it? |
Not clear if it's the settings UI that shows incomplete information, but after switching a profile, not all default language overwrites are shown. If the JSONC language overwrite for editor.suggest.insertMode is not loaded, that would explain what Alex is seeing. |
I am able to repro the issue and my settings look like #156290 (comment) |
I'm unable to repro the issue now. I notice when I switch profiles and hover again over the label that it changes the list of languages depending on the extensions installed, but I always manage to have JSON and JSONC in the list. @alexr00 are you able to repro the issue in the latest Insiders? |
I cannot repro with the latest insiders, though I could still repro with an insiders from some time last week. Looks like it's fixed. |
Testing #155899
The text was updated successfully, but these errors were encountered: