Kevin Jahns 1bc9308566 improve already-imported message further

2022-06-16 12:57:04 +02:00

..

structs

add option to UndoManager to ignore remote map changes. implements #390

2022-03-26 10:29:19 +01:00

types

minimize changes when formatting text - #422

2022-05-09 12:53:26 +02:00

utils

fix captureTransaction

2022-05-14 18:10:19 +02:00

index.js

improve already-imported message further

2022-06-16 12:57:04 +02:00

internals.js

first working version that also considers holes in document updates - #263

2020-12-15 15:39:08 +01:00