-
Notifications
You must be signed in to change notification settings - Fork 30k
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
Errors on fields with URI format not reported in Settings UI #88703
Comments
I guess we are missing that validation, also, the type of that setting should be
|
@roblourens I can try working on this. Any code pointers, though? Not sure where to look. |
See https://github.com/Microsoft/vscode/blob/2445428308d74f1eedf73715809dca2d37e21c6d/src/vs/workbench/services/preferences/common/preferencesValidation.ts#L94-L94 for where these validations for the settings editor live. You need to figure out what validation the json language server does for |
Verifier:
|
This bug has been fixed in to the latest release of VS Code Insiders! @fbricon, you can help us out by confirming things are working as expected in the latest Insiders release. If things look good, please leave a comment with the text Happy Coding! |
Found this issue while trying to set java.format.settings.url's format to uri (or uri-reference), in order to fix redhat-developer/vscode-java#1237
Steps to Reproduce:
"mysetting":""
has a warning:String is not a URI: URI expected.
The validation error should be displayed in the UI too (as it does when using a validation pattern)
Does this issue occur when all extensions are disabled?: Maybe
The text was updated successfully, but these errors were encountered: