public static interface UndoHistory.HistoryListener
Modifier and Type | Method and Description |
---|---|
void |
notifyChangeInHistory(UndoHistory history) |
void notifyChangeInHistory(UndoHistory history)
Copyright © 1998-2019 Apache Software Foundation. All Rights Reserved.