protected class LauncherUndo.LoadEdit
extends javax.swing.undo.AbstractUndoableEdit
Constructor and Description |
---|
LauncherUndo.LoadEdit(java.lang.String[] newArgs,
java.lang.String[] prevArgs)
Constructor specifies new file and node.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getPresentationName() |
void |
redo() |
void |
undo() |
public LauncherUndo.LoadEdit(java.lang.String[] newArgs, java.lang.String[] prevArgs)
newArgs
- [0] new file name, [1] new tab and node nameprevArgs
- [0] prev file name, [1] prev tab and node namepublic void undo() throws javax.swing.undo.CannotUndoException
undo
in interface javax.swing.undo.UndoableEdit
undo
in class javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CannotUndoException
public void redo() throws javax.swing.undo.CannotUndoException
redo
in interface javax.swing.undo.UndoableEdit
redo
in class javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CannotUndoException
public java.lang.String getPresentationName()
getPresentationName
in interface javax.swing.undo.UndoableEdit
getPresentationName
in class javax.swing.undo.AbstractUndoableEdit