Kevin Jahns 6376d69b58 fix undo of map update

2018-06-23 00:29:44 +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

fix undo of map update

2018-06-23 00:29:44 +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