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_editor/src/lib.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_editor/src/lib.rs')
-rw-r--r-- | crates/ra_editor/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/ra_editor/src/lib.rs b/crates/ra_editor/src/lib.rs index a8c68e79e..d9b89155b 100644 --- a/crates/ra_editor/src/lib.rs +++ b/crates/ra_editor/src/lib.rs | |||
@@ -2,6 +2,7 @@ mod code_actions; | |||
2 | mod extend_selection; | 2 | mod extend_selection; |
3 | mod folding_ranges; | 3 | mod folding_ranges; |
4 | mod line_index; | 4 | mod line_index; |
5 | mod line_index_utils; | ||
5 | mod symbols; | 6 | mod symbols; |
6 | #[cfg(test)] | 7 | #[cfg(test)] |
7 | mod test_utils; | 8 | mod test_utils; |
@@ -12,6 +13,7 @@ pub use self::{ | |||
12 | extend_selection::extend_selection, | 13 | extend_selection::extend_selection, |
13 | folding_ranges::{folding_ranges, Fold, FoldKind}, | 14 | folding_ranges::{folding_ranges, Fold, FoldKind}, |
14 | line_index::{LineCol, LineIndex}, | 15 | line_index::{LineCol, LineIndex}, |
16 | line_index_utils::translate_offset_with_edit, | ||
15 | symbols::{file_structure, file_symbols, FileSymbol, StructureNode}, | 17 | symbols::{file_structure, file_symbols, FileSymbol, StructureNode}, |
16 | typing::{join_lines, on_enter, on_eq_typed}, | 18 | typing::{join_lines, on_enter, on_eq_typed}, |
17 | }; | 19 | }; |