Antonio Scandurra ab236a6008 Fix divergence bug in undo/redo ... As part of #1405, we changed the way we performed undo and redo to support combining transactions that were not temporally adjacent for IME purposes. We introduced a bug with that release that caused divergence when performing undo: the bug was caused by only changing the visibility of fragments whose insertion id was contained in the undo operation. However, an undo operation also affects deletions which we were mistakenly not considering. Randomized tests caught this but I guess we didn't run enough of them.		2022-08-17 11:30:04 +02:00
..
zed.proto	Fix divergence bug in undo/redo	2022-08-17 11:30:04 +02:00