Antonio Scandurra 5dc36260e5 Reflect leader's view state when recycling existing local editors		2022-03-22 10:51:17 +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 render local selections on top of remote ones	2022-03-22 10:31:28 +01:00
items.rs	Reflect leader's view state when recycling existing local editors	2022-03-22 10:51:17 +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