Kevin Jahns 967903673b fixed undo/redo issues and implemented ability to manually flush the UndoManager

2018-06-13 00:06:38 +02:00

..

Delete.js

correctly handle gc with UndoManager and un-merge when syncing

2018-04-23 13:25:40 +02:00

GC.js

bugfixes

2018-04-27 18:33:28 +02:00

Item.js

fixed undo/redo issues and implemented ability to manually flush the UndoManager

2018-06-13 00:06:38 +02:00

ItemEmbed.js

documentation and fix tests

2018-03-29 11:58:02 +02:00

ItemFormat.js

documentation and fix tests

2018-03-29 11:58:02 +02:00

ItemJSON.js

documentation and fix tests

2018-03-29 11:58:02 +02:00

ItemString.js

documentation and fix tests

2018-03-29 11:58:02 +02:00

Type.js

add option to disable gc (compatible with older versions)

2018-05-02 18:42:18 +02:00