protected class FunctionEditor.DefaultEdit
extends javax.swing.undo.AbstractUndoableEdit
Constructor | Description |
---|---|
DefaultEdit(int type,
java.lang.Object newVal,
int newRow,
int newCol,
java.lang.Object prevVal,
int prevRow,
int prevCol,
java.lang.String name) |
A class to undo/redo edits.
|
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getPresentationName() |
|
void |
redo() |
|
void |
undo() |
public DefaultEdit(int type, java.lang.Object newVal, int newRow, int newCol, java.lang.Object prevVal, int prevRow, int prevCol, java.lang.String name)
type
- may be ADD_EDIT, REMOVE_EDIT, NAME_EDIT, or EXPRESSION_EDITnewVal
- the new object, name or expressionnewRow
- the row selectednewCol
- the col selectedprevVal
- the previous object, name or expressionprevRow
- the previous row selectedprevCol
- the previous col selectedname
- the name of the edited objectpublic 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