Synchronise settings between browser-only WebIDE and VS Code server in the Workspace

Problem

VS Code stores user settings in settings.json configuration file.

• Browser-only WebIDE stores this file in LocalStorage in the browser
• VS Code Server in the Workspace stores is as a file in the local file system

To the best of my knowledge, these two ways are not compatible. We need to figure out how to project settings changes made in WebIDE to the Workspace and vice versa.

Related issue about Settings sync in the VS Code Extension: Use GitLab for Settings Sync