public class LauncherUndo
extends javax.swing.undo.UndoManager
Modifier and Type | Class and Description |
---|---|
protected class |
LauncherUndo.LoadEdit
A class to undo/redo a node link, open file or new tabset action.
|
protected class |
LauncherUndo.NavEdit
A class to undo/redo a hyperlink or user navigation action.
|
Constructor and Description |
---|
LauncherUndo(Launcher launcher)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
canReload()
Returns true if pending edit is a link edit.
|
java.lang.String[] |
getLauncherState()
Gets the current launcher state.
|
void |
setLauncher(Launcher launcher)
Sets the launcher.
|
addEdit, canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redo, redoTo, setLimit, toString, trimEdits, trimForLimit, undo, undoableEditHappened, undoOrRedo, undoTo
public LauncherUndo(Launcher launcher)
launcher
- the Launcher to undo/redopublic void setLauncher(Launcher launcher)
launcher
- the Launcher to undo/redopublic boolean canReload()
public java.lang.String[] getLauncherState()