public class LauncherUndo
extends javax.swing.undo.UndoManager
Modifier and Type | Class | 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 | Description |
---|---|
LauncherUndo(Launcher launcher) |
Constructor.
|
Modifier and Type | Method | 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.
|
die, getPresentationName, isInProgress, isSignificant, lastEdit
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
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()