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 /editors/code/src | |
| 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 'editors/code/src')
0 files changed, 0 insertions, 0 deletions