editor.gotoLocation.many name suggestion #71215
Labels
bug
Issue identified by VS Code Team member as probable bug
editor-symbols
definitions, declarations, references
polish
Cleanup and polish issue
verified
Verification succeeded
Milestone
testing #71087
Suggest changing the setting from
many
tomultiple
. The wordmany
suggests a large number where it only has to be > 1, somultiple
would be more appropriate:editor.gotoLocation.multiple
The text was updated successfully, but these errors were encountered: