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.AbstractUndoableEditjavax.swing.undo.CannotUndoExceptionpublic void redo()
throws javax.swing.undo.CannotUndoException
redo in class javax.swing.undo.AbstractUndoableEditjavax.swing.undo.CannotUndoExceptionpublic java.lang.String getPresentationName()
getPresentationName in class javax.swing.undo.AbstractUndoableEdit