Kevin Jahns e3c59b0aa7 more options to gc data (undomanager.clear and tryGc)

2020-01-27 03:42:32 +01:00

..

DeleteSet.js

implement PermanentUserData storage prototype

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

Doc.js

more options to gc data (undomanager.clear and tryGc)

2020-01-27 03:42:32 +01: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

implement PermanentUserData storage prototype

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

StructStore.js

lint

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

Transaction.js

more options to gc data (undomanager.clear and tryGc)

2020-01-27 03:42:32 +01:00

UndoManager.js

more options to gc data (undomanager.clear and tryGc)

2020-01-27 03:42:32 +01:00

YEvent.js

lint

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