-
-
Notifications
You must be signed in to change notification settings - Fork 147
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Address duplicate nodeIDs in Tree.Split (#724)
We need to define ID of split element node for concurrent editing. Text has fixed content and its split nodes could have limited offset range. But element node could have arbitrary children and its split nodes could have arbitrary offset range. So, id could be duplicated and its order could be broken when concurrent editing happens. This commit temporarily avoids duplication by issuing a new ID.
- Loading branch information
1 parent
1006b64
commit 54c4d5a
Showing
5 changed files
with
403 additions
and
80 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.