[Feature] Real-time collaboration #6
Description
What would you like?
Real-time collaboration like on the web inteface.
Use case / why this matters:
Useful when modifying file at the same time as someone else. Avoiding overriding their change.
Requires a plugin with the desired editor. (i.g. vim, emacs, vcode, etc)
Any alternatives you've considered?
After looking at the code, it seems very complicated using the current implementation, a git integration for version management would probably solve this issue. With a pop-up for merging when conflicts pops up.