Rewrite default settings in package.json

There is an option to override default settings: https://github.com/eclipse-theia/theia/blob/master/examples/browser/package.json#L11

Should these changes be reflected in settings.json after Theia start? Because I’m trying to add “editor.autoSave”: “on” (followed by this advice: https://github.com/eclipse-theia/theia/pull/4777/files) into this section and I don’t see any changes in preferences configuration.

[original thread by Vladyslav Zhukovskyi]

Where is no settings.json for default preferences, only for user, workspace and workspace folder.

That’s default values which override default values defined in preference schemas.

[Vladyslav Zhukovskyi]

Great, now I understand how it works! Thanks, Anton!