Kevin Jahns dab172fa1d Rework UndoManager to support changes from other / multiple users

2020-05-13 19:28:30 +02:00

..

DeleteSet.js

type fixes for breaking typescript@3.8.* release

2020-04-02 01:03:30 +02:00

Doc.js

change client id when duplicate content is detected

2020-05-03 16:10:58 +02:00

encoding.js

implement PermanentUserData storage prototype

2019-09-17 18:53:59 +02:00

EventHandler.js

fix jsdoc

2019-04-11 23:34:56 +02:00

ID.js

lint

2020-01-22 16:42:16 +01:00

isParentOf.js

Port Undo/Redo approach with a clean API

2019-06-23 13:04:14 +02:00

PermanentUserData.js

make opts optional in PermanentUserData

2020-01-23 18:05:12 +01:00

RelativePosition.js

lint

2020-01-22 16:42:16 +01:00

Snapshot.js

type fixes for breaking typescript@3.8.* release

2020-04-02 01:03:30 +02:00

StructStore.js

type fixes for breaking typescript@3.8.* release

2020-04-02 01:03:30 +02:00

Transaction.js

change client id when duplicate content is detected

2020-05-03 16:10:58 +02:00

UndoManager.js

Rework UndoManager to support changes from other / multiple users

2020-05-13 19:28:30 +02:00

YEvent.js

lint

2020-01-22 16:42:16 +01:00