Name | Description | |
---|---|---|
![]() |
Clears the undo/redo history. |
|
![]() |
Gets how much commands can be saved in the undo history. |
|
![]() |
Gets the command that will be redone by the next call to UndoManager.redo. |
|
![]() |
Gets the command that will be undone by the next call to UndoManager.undo. |
|
![]() |
Merges several undo records into a single composite record. |
|
![]() |
Sets the maximum number of commands that can be saved in the undo history. |
JDiagram Programmer's Guide | © 2025 MindFusion |