The VSCode settings can be set per workspace folder, but there is no warranty config doesn't come from the user config which would break a workspace context detection based on the context setting, and they also aren't added to git most of the time and some settings might be useful to share with a team for game development.
I propose to add support for a JSON file (.minetest-tools.json?) which is used to set the context of the workspace folder and settings related to it. VSCode settings will still be used for features like #34 which really depend of the user's config.
AFCMS
commented
1 year ago
Depend of #32 (which I am working on)
The VSCode settings can be set per workspace folder, but there is no warranty config doesn't come from the user config which would break a workspace context detection based on the context setting, and they also aren't added to git most of the time and some settings might be useful to share with a team for game development.
I propose to add support for a JSON file (
.minetest-tools.json?) which is used to set the context of the workspace folder and settings related to it. VSCode settings will still be used for features like #34 which really depend of the user's config.