Implement following and more collaboration panel features in zed2 (#3504)

5b6fd3ac1dMax Brunsfeld committed on 12/5/2023, 9:59:15 PM· committed by GitHubparents02e507bf2faa70
14 files changedLine totals unavailable