## 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](https://gitlab.com/gitlab-org/gitlab-vscode-extension/-/issues/668)