streetsidesoftware
[Feat. Req.] "Add: ${word} to both workspace and user settings"
When I open up the quick fix menu for an unrecognised word, currently we have "Add: ${word} to workspace settings" and "Add: ${word} to user settings" separately. There are, however, frequent situations where I want to add a particular word to both dictionaries. For example, I might want to add a frequently used proper noun (e.g. place name) so that:
- My collaborators don't get the lint when they pull my changes
- I don't get the lint when working on other personal projects
The problem is, the lint error goes away as soon as I choose one of the two options (which of course, is expected behaviour), which makes it cumbersome to also add the word to the other dictionary. I would have to resort to manually editing the .json file.
Therefore I would like to suggest we add a third quick fix option - "Add: ${word} to both workspace and user settings", which simply does both simultaneously.
