protected class LauncherUndo.NavEdit
extends javax.swing.undo.AbstractUndoableEdit
Constructor | Description |
---|---|
NavEdit(java.lang.Object[] oldState,
java.lang.Object[] newState) |
Constructor.
|
NavEdit(LaunchNode prev,
LaunchNode node) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getPresentationName() |
|
void |
redo() |
|
void |
undo() |
public NavEdit(java.lang.Object[] oldState, java.lang.Object[] newState)
oldState
- the prevous state (undo)newState
- the new state (redo)public NavEdit(LaunchNode prev, LaunchNode node)
prev
- the prevous node (undo)node
- the new node (redo)public void undo() throws javax.swing.undo.CannotUndoException
undo
in class javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CannotUndoException
public void redo() throws javax.swing.undo.CannotUndoException
redo
in class javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CannotUndoException
public java.lang.String getPresentationName()
getPresentationName
in class javax.swing.undo.AbstractUndoableEdit