menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

Channels
Team

Rewrite default settings in package.json

February 19, 2020 at 2:50pm

Rewrite default settings in package.json

February 19, 2020 at 2:50pm
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.

February 19, 2020 at 3:36pm
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.
Edited

February 20, 2020 at 9:54am
Great, now I understand how it works! Thanks, Anton!
like-fill
1