diff options
author | Aleksey Kladov <[email protected]> | 2020-07-20 16:57:10 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-07-20 16:57:10 +0100 |
commit | bc4d047267232db485e24f74c05ad03f76b1786b (patch) | |
tree | 19794821bbcb5c535849846b7c51b58ba4c3d5f2 /docs/dev/README.md | |
parent | c7ccfb072c0f8b8e7a47424c341103f48d4648e1 (diff) |
Add is_workspace_member for rust-project.json
It is currently unused, but, in the future, it will be used to:
* drive certain UX (symbols search by default will look only in the
members)
* improve performance (rust-analyzer will assume that non-members
change rarely)
If not specified, is_workspace member is inferred from the path
Diffstat (limited to 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions