refactor: reimplement realtime-communication

This commit refactors a lot of things that are not easy to separate.
It replaces the binary protocol of y-protocols with json.
It introduces event based message processing.
It implements our own code mirror plugins for synchronisation of content and remote cursors

Signed-off-by: Tilman Vatteroth <git@tilmanvatteroth.de>
This commit is contained in:
Tilman Vatteroth 2023-03-22 20:21:40 +01:00
parent 67cf1432b2
commit 3a06f84af1
110 changed files with 3920 additions and 2201 deletions

View file

@ -583,6 +583,9 @@
"text": "You were redirected to the history page, because the note you just edited was deleted."
}
},
"realtime": {
"reconnect": "Reconnecting to HedgeDoc…"
},
"settings": {
"title": "Settings",
"editor": {