Support storing user profiles in Web IDE Settings Sync API

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

• Close this issue

The problem

The Web IDE inherits the user profiles functionality from the VSCode fork. VSCode can save profiles in the cloud using the Settings Sync API. Currently, the Settings Sync API used by the Web IDE doesn't support storing profiles. As a result, some errors happen while synchronizing Settings when the user creates a user profile:

The solution

• Support storing user profiles in the Settings Sync API.
• Temporarily indicate users that storing profiles is not yet supported by the Settings Sync functionality.