diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-18 15:47:58 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-18 15:47:58 +0000 |
| commit | 7ea578086712d0a6a81dc2d77a15d868f496deb0 (patch) | |
| tree | 562a3d6d1974dd29751b5334512aa498f638c262 /crates/ra_ide/src/folding_ranges.rs | |
| parent | 048d0cda9708c122311ca9a48b352b5bb510d9fe (diff) | |
| parent | 7c25224f0522cb828c4aa2d791562b84ee2995f9 (diff) | |
Merge #2588
2588: Don't bother with focus range for navigation to locals r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/folding_ranges.rs')
0 files changed, 0 insertions, 0 deletions