org.opensourcephysics.tools
Class LauncherUndo.LoadEdit

java.lang.Object
  extended by javax.swing.undo.AbstractUndoableEdit
      extended by org.opensourcephysics.tools.LauncherUndo.LoadEdit
All Implemented Interfaces:
java.io.Serializable, javax.swing.undo.UndoableEdit
Enclosing class:
LauncherUndo

protected class LauncherUndo.LoadEdit
extends javax.swing.undo.AbstractUndoableEdit

A class to undo/redo a node link, open file or new tabset action.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class javax.swing.undo.AbstractUndoableEdit
RedoName, UndoName
 
Constructor Summary
LauncherUndo.LoadEdit(java.lang.String[] newArgs, java.lang.String[] prevArgs)
          Constructor specifies new file and node.
 
Method Summary
 java.lang.String getPresentationName()
           
 void redo()
           
 void undo()
           
 
Methods inherited from class javax.swing.undo.AbstractUndoableEdit
addEdit, canRedo, canUndo, die, getRedoPresentationName, getUndoPresentationName, isSignificant, replaceEdit, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LauncherUndo.LoadEdit

public LauncherUndo.LoadEdit(java.lang.String[] newArgs,
                             java.lang.String[] prevArgs)
Constructor specifies new file and node. Prev file and node are determined from current launcher state.

Parameters:
newArgs - [0] new file name, [1] new tab and node name
prevArgs - [0] prev file name, [1] prev tab and node name
Method Detail

undo

public void undo()
          throws javax.swing.undo.CannotUndoException
Specified by:
undo in interface javax.swing.undo.UndoableEdit
Overrides:
undo in class javax.swing.undo.AbstractUndoableEdit
Throws:
javax.swing.undo.CannotUndoException

redo

public void redo()
          throws javax.swing.undo.CannotUndoException
Specified by:
redo in interface javax.swing.undo.UndoableEdit
Overrides:
redo in class javax.swing.undo.AbstractUndoableEdit
Throws:
javax.swing.undo.CannotUndoException

getPresentationName

public java.lang.String getPresentationName()
Specified by:
getPresentationName in interface javax.swing.undo.UndoableEdit
Overrides:
getPresentationName in class javax.swing.undo.AbstractUndoableEdit