You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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());
The text was updated successfully, but these errors were encountered:
Coming from FXMisc/RichTextFX#362, and its solution (FXMisc/RichTextFX#530)...
We only need to add a
Duration
parameter to theUndoManagerImpl
's constructor, so that theUndoManager
'ssubscription
will also unsubscribe theSubscription
returned fromchangeSource.successionEnds(delay).subscribe(ignore -> preventMerge());
The text was updated successfully, but these errors were encountered: