mirror of
https://github.com/hexedtech/codemp.git
synced 2024-12-23 13:24:54 +01:00
alemi
948a1b4de5
to join a workspace, attach to it. to leave a workspace, close the channel. on such channel you get workspace events (new buffers, user leave, ...). must fetch current buffers and users upon join. if workspace doesn't exist, server should create it on attach also dashmap everywhere to get/put simple |
||
---|---|---|
.. | ||
api | ||
buffer | ||
cursor | ||
client.rs | ||
errors.rs | ||
instance.rs | ||
lib.rs | ||
prelude.rs | ||
workspace.rs |