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, lastEditclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitaddEdit, canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redo, redoTo, setLimit, toString, trimEdits, trimForLimit, undo, undoableEditHappened, undoOrRedo, undoTopublic 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()