org.opensourcephysics.tools

Class LauncherUndo.LoadEdit

java.lang.Object

javax.swing.undo.AbstractUndoableEdit

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

Constructors

Constructor and Description
LauncherUndo.LoadEdit(java.lang.String[] newArgs, java.lang.String[] prevArgs) Constructor specifies new file and node.

Method Summary

Methods

Modifier and Type	Method and Description
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