diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-27 12:19:19 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-27 12:19:19 +0000 |
commit | e422c2e2f4117cf977d28a40a9c8e4dc4cfee811 (patch) | |
tree | 9ea1dc365e420c286834b40923deb95a0ca291b9 /crates/ra_vfs/src/arena.rs | |
parent | 55ab0c602e391537f5e1a84a617fdd817e6a4200 (diff) | |
parent | 1cda43aafd623b400f5916b1d3727b56c136081b (diff) |
Merge #325
325: implement translate_offset_with_edit r=matklad a=vemoo
- Implement `translate_offset_with_edit` to resolve #105
- Add proptest impls for text, offsets and edits and use them in tests for `translate_offset_with_edit` and `LineIndex`
- Added benchmark for `translate_offset_with_edit`
Co-authored-by: Bernardo <[email protected]>
Diffstat (limited to 'crates/ra_vfs/src/arena.rs')
0 files changed, 0 insertions, 0 deletions