Open
Description
Is your feature request related to a problem? Please describe.
Some users might want to synchronize their settings across multiple computers. In that case, the editor settings should not include the server list.
Describe the solution or feature you'd like
The servers (datasource.connections
) should be stored in a separate file, e.g. connections.json
.
Describe alternatives you've considered
- do nothing, dissuade users from synchronizing their
settings.json