Antonio Scandurra 3117554568 Automatically unfollow when editing, scrolling or changing selections

2022-03-22 09:17:01 +01:00

..

display_map

Fade out unnecessary code

2022-03-15 15:51:59 +01:00

multi_buffer

Assume the anchor is valid if we can find an excerpt that contains it

2022-03-11 17:08:12 +01:00

display_map.rs

Make all HighlightStyle properties optional

2022-03-15 10:39:43 +01:00

editor.rs

Automatically unfollow when editing, scrolling or changing selections

2022-03-22 09:17:01 +01:00

element.rs

Always mirror the leader's selections when following

2022-03-21 21:47:29 -07:00

items.rs

Automatically unfollow when editing, scrolling or changing selections

2022-03-22 09:17:01 +01:00

movement.rs

Allow inserting multiple excerpts in a batch

2022-02-09 17:56:06 -08:00

multi_buffer.rs

Start work on updating editors's scroll positions when following

2022-03-18 12:56:20 -07:00

test.rs

Use a pool of databases to speed up integration tests

2022-02-07 15:00:00 -08:00