VS Code: user settings vs. workspace settings #32
Description
The VS code setup has instructions to modify the user settings. However, I would argue to put a configuration like the number of threads in workspace settings.
This would also make this setting more explicit for the current VS Code workspace and clearly visible in .vscode/settings.json.