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
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
multi_buffer.rs	Start work on updating editors's scroll positions when following	2022-03-18 12:56:20 -07:00
test.rs