-
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
Unable to write to settings should offer an action to open settings #16580
Comments
Also: we should try to be more aggressive in writing to the settings file if this happens from the default settings editor. A trailing comma for example should not block us from doing the write. Since you see the result of the operation and you can undo, we can be more relaxed and validate less imho. |
@bpasero Thanks for the hint to the trailing comma. |
Enhanced config editing service to be aggressive when writing to buffer.
So when using actions inside Settings editor, its writes the configuration always. Since user see the editor this makes sense |
Config editing service was improved to be resilient with trailing commas. But all other errors are still valid and considered. |
All callees of configuration editing service are explicitly calling message service to show the message. This can be moved to config editing service to show message as an option. |
Reopening as I still get the same behavior as I described in my first comment edit: args this item is not even closed and has verification needed 😕 |
Its fine to have Verification needed tag even if it was not closed. But not sure how did it come verification list? The query should not contain any open items :) |
I have my own cool query which obviously failed in this case :) |
I think we need to add a button to open settings when this error occurs as mentioned in the initial comment. It comes up often in doc feedback verbatim where users don't know where to go when a settings.json error occurs. Adding a button seems a good first step. |
Adding @sandy081 to hopefully get this into the May milestone. |
- File dirty - Errors in file
…s is needed for extension API
This error should have an action to open settings as most users have a hard time finding settings.
The text was updated successfully, but these errors were encountered: