protected class LauncherUndo.LoadEdit
extends javax.swing.undo.AbstractUndoableEdit
Constructor | Description |
---|---|
LoadEdit(java.lang.String[] newArgs,
java.lang.String[] prevArgs) |
Constructor specifies new file and node.
|
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getPresentationName() |
|
void |
redo() |
|
void |
undo() |
public 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 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