| Modifier and Type | Interface and Description |
|---|---|
| public interface | GuiUndoManager
The undo journal as the GUI needs it: the stacks can be driven, and their state can be observed as JavaFX properties for menu and toolbar enablement. |
| Modifier and Type | Class and Description |
|---|---|
| public class | JabRefGuiUndoManager
The journal, plus the JavaFX properties the menus bind to. |
| public class | RedoAction
Re-applies the last change undone in the library the user is looking at. |
| public class | UndoAction
Undoes the last change made to the library the user is looking at. |
