settings: repurpose indexer-related options

[radeksimko]

Closes #704

[radeksimko]

Tagging @jpogran as you dealt with settings in the VS Code extension recently:

We could potentially move both ignoreDirectoryNames and ignorePaths under indexing or similar, to indicate these options are related to indexing. This can of course be also done just on the client side, but I thought I'd flag it up here as we're touching the settings.

Also I can prepare a PR for the extension which reflects these changes and decisions.

[dbanck]

LGTM!

Does this qualify as a breaking change and requires extra communication?

[radeksimko]

Does this qualify as a breaking change and requires extra communication?

Yes, I expect we'd call it out as such in the Changelog.

[jpogran]

😍

[jpogran]

Tagging @jpogran as you dealt with settings in the VS Code extension recently:

We could potentially move both ignoreDirectoryNames and ignorePaths under indexing or similar, to indicate these options are related to indexing. This can of course be also done just on the client side, but I thought I'd flag it up here as we're touching the settings.

Also I can prepare a PR for the extension which reflects these changes and decisions.

👍🏼 on moving to indexing.

I think we've already marked these as deprecated, so we're halfway there

[github-actions]

I'm going to lock this pull request because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues.
If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.