Coming from TomasMikula/RichTextFX#362, and its solution (TomasMikula/RichTextFX#530)...
We only need to add a Duration parameter to the UndoManagerImpl's constructor, so that the UndoManager's subscription will also unsubscribe the Subscription returned from changeSource.successionEnds(delay).subscribe(ignore -> preventMerge());
JordanMartinez
commented
6 years ago
Coming from TomasMikula/RichTextFX#362, and its solution (TomasMikula/RichTextFX#530)...
We only need to add a
Durationparameter to theUndoManagerImpl's constructor, so that theUndoManager'ssubscriptionwill also unsubscribe theSubscriptionreturned fromchangeSource.successionEnds(delay).subscribe(ignore -> preventMerge());