Re:Zed, a collaborative code editor, is now open source
by mijoharas on Wednesday January 24, 2024 @02:38PM
(#39121706)
I looked into that on GitHub earlier because I was curious about exactly this, and yes it looks like they did roll their own.
[ Parent
| on HN ]
Re:Zed, a collaborative code editor, is now open source
by 6gvONxR4sf7o on Wednesday January 24, 2024 @03:08PM
(#39122002)
Could you link where you found it? I'm curious what kind they made.
Re:Zed, a collaborative code editor, is now open source
by mijoharas on Thursday January 25, 2024 @09:53AM
(#39130150)
I think it's most of the "buffer" stuff here[0].
[0] https://github.com/zed-industries/zed/pull/2924/files#diff-e...