Aleksey Kladov
|
5f57491c98
|
Cleanup TextEdit
|
2020-05-21 15:56:18 +02:00 |
|
Pavan Kumar Sunkara
|
9f0a7eb97b
|
Make some stuff public so that they can be reused by other tools
|
2020-05-14 11:14:46 +02:00 |
|
Aleksey Kladov
|
1586bab0b9
|
Simplify proto conversion
Trait based infra in conv.rs is significantly more complicated than
what we actually need here.
|
2020-05-10 19:01:26 +02:00 |
|
Aleksey Kladov
|
1116c9a0e9
|
Fix TODO
|
2020-05-06 13:21:49 +02:00 |
|
Aleksey Kladov
|
3850b1c086
|
Lift SourceChange to the ra_ide_db
|
2020-05-06 11:32:34 +02:00 |
|
Aleksey Kladov
|
27c7ef6d65
|
Use more natural signature for Edit::apply
|
2020-05-05 23:23:29 +02:00 |
|
Aleksey Kladov
|
4a6fa8f0df
|
Rename AtomTextEdit -> Indel
|
2020-05-05 23:15:49 +02:00 |
|
Aleksey Kladov
|
b1d5817dd1
|
Convert code to text-size
|
2020-04-25 11:59:18 +02:00 |
|
Aleksey Kladov
|
57140f1730
|
Drop proptest tests
It takes waaay to long to compile.
We should add quickcheck tests when we touch the relevant code next
time.
|
2020-02-17 16:57:06 +01:00 |
|
Veetaha
|
139479e8a3
|
move to to_usize()
|
2020-02-10 01:57:43 +02:00 |
|
Alexander Andreev
|
fdbd6bb11a
|
Added test for check doc strings in crates.
#1856
|
2019-09-30 11:58:53 +03:00 |
|
Aleksey Kladov
|
12e3b4c70b
|
reformat the world
|
2019-02-08 14:49:43 +03:00 |
|
Aleksey Kladov
|
921689b70d
|
kill text utils
|
2019-01-08 22:03:13 +03:00 |
|
Aleksey Kladov
|
f553837c1c
|
upstream text-utils to text_unit
|
2019-01-08 21:50:04 +03:00 |
|
Bernardo
|
6b2da4e547
|
use new translate_offset_with_edit for TryConvWith
doc comments
|
2018-12-25 20:06:49 +01:00 |
|
Bernardo
|
d951979159
|
test translate_offset_with_edit against simple impl for single edits
|
2018-12-25 19:49:55 +01:00 |
|
Bernardo
|
3d98744c2a
|
proptest strategies for TextUnit and AtomTextEdit
|
2018-12-25 19:45:21 +01:00 |
|
Bernardo
|
0527e3b283
|
rename Edit to TextEdit and AtomEdit to AtomTextEdit
|
2018-12-11 19:07:17 +01:00 |
|
Bernardo
|
7344d28768
|
extract AtomEdit and Edit into new ra_text_edit crate
|
2018-12-10 22:09:12 +01:00 |
|