[theia-dev] Preference available in the back end

[Thomas Mäder <t.s.maeder@xxxxxxxxx>]

Hi folks,

I have just merged https://github.com/eclipse-theia/theia/pull/16017, which makes preferences (user and default) available in the back end. This PR includes breaking changes, which might affect you if 

1. You're defining your own preference schema

2. You're injecting preference providers with @named(scope) injection

3. Using the preference schema service in your Theia extensions.

The necessary changes should be straightforward and are described in "doc/Migration.md". Let us know if you run into any problems or you're having trouble updating to the changed API. 

This is a large change, so please file issues if you find any weird preference-related behavior.

cheers, Thomas Mäder