eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
19.91k stars 2.49k forks source link

The settings.json file supports validation of settings. #14191

Open zhouxinghong opened 1 day ago

zhouxinghong commented 1 day ago

Feature Description:

Hello everyone! Please support the validation of the settings in settings.json file so that the settings properties can be correctly and effectively migrated from the settings.json file of VSCode.

Theia 1.53.200 Windows 10

msujew commented 1 day ago

We already support settings.json validation:

image

@zhouxinghong What exactly are you missing?

zhouxinghong commented 1 day ago

https://github.com/eclipse-theia/theia/issues/13993

zhouxinghong commented 1 day ago

If some settings are invalid, then in the Problems panel in VSCode it will tell me that these settings are not recognized. However, in Theia platform, it does not tell me any error information.

https://github.com/user-attachments/assets/c2ff3c6d-cb42-4d79-860a-2e098c2a5e3c

You should be able to see that I don’t have the C# extension installed, but I have defined the setting properties of the C# extension in settings.json. Theia should tell me that it is not recognized, which is in line with the correct validation logic.

zhouxinghong commented 1 day ago

Next, please see how to verify the settings.json file setting properties in VSCode. image image image