Nathan Sobo ccc276da7a Merge pull request #672 from zed-industries/fix-unfollowing-on-edit ...

Automatically unfollow leader only for edits that originate from the follower editor

2022-03-24 13:26:28 -06:00

..

buffer_search.rs

Rename editor::Event::Edited to editor::Event::BufferEdited

2022-03-24 08:55:46 +01:00

project_search.rs

WIP

2022-03-23 19:05:46 +01:00

search.rs

Remove result from anchor cmp functions

2022-03-24 11:48:31 -07:00