Max BrunsfeldandNathan Sobo fa62fd968f Autoscroll when leader moves cursors ...

instead of copying their scroll top.

Co-Authored-By: Nathan Sobo <nathan@zed.dev>

2022-03-22 18:02:54 -07: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

Autoscroll when leader moves cursors

2022-03-22 18:02:54 -07:00

element.rs

Always render local selections on top of remote ones

2022-03-22 10:31:28 +01:00

items.rs

Autoscroll when leader moves cursors

2022-03-22 18:02:54 -07: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