Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/package.json')
| -rw-r--r-- | editors/code/package.json | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index 470db244f1..328eb509b4 100644 --- a/editors/code/package.json +++ b/editors/code/package.json @@ -1586,6 +1586,16 @@ } }, { + "title": "Document", + "properties": { + "rust-analyzer.document.symbol.search.excludeLocals": { + "markdownDescription": "Exclude all locals from document symbol search.", + "default": true, + "type": "boolean" + } + } + }, + { "title": "Files", "properties": { "rust-analyzer.files.exclude": { |