使用UndoFX 库,我创建了一个 UndoManger,如下所示:
EventStream<DocumentChange<?>> changes = document.getChanges();
undoManager =
UndoManagerFactory.unlimitedHistoryUndoManager(
changes,
c -> c.redo(),
c -> c.undo(),
(c1, c2) -> c1.mergeWith(c2)
);
文档返回的ReactFX EventStream
是通过合并多个在文档创建时可用的 EventStream 来创建的。例如,
documentChanges = EventStreams.merge(selectedSymbolChanges, symbolListChanges);
但是,文档稍后会添加项目,这些项目包括也应该发布到文档 EventStream 的 EventStream。我试过了
documentChanges = EventStreams.merge(documentChanges, newObjectChanges);
但是,newObjectChanges
EventStream 中的更改从未影响 UndoManager。
在创建 UndoManger 之后,将其他 EventStreams 合并到 UndoManger 中的最佳方法是什么?或者这是不可能的(即流必须是不可变的)?
如果是后者,如何为 UndoManager 创建时不存在的动态数量的对象创建流?