change client id when duplicate content is detected

2020-05-03 16:10:58 +02:00
parent b399ffa765
commit 9f5bc9ddfe
5 changed files with 31 additions and 2 deletions
--- a/src/index.js
+++ b/src/index.js
@@ -47,6 +47,7 @@ export {
  typeMapGetSnapshot,
  iterateDeletedStructs,
  applyUpdate,
+  readUpdate,
  encodeStateAsUpdate,
  encodeStateVector,
  UndoManager,