public void redo() throws CannotUndoException {
super.redo();
try {
doit(isInsertion);
} catch (BadLocationException ex) {
throw new CannotRedoException();
}
}
/** the undo method */
public void undo() {
super.undo();
if (faee.getEventType() == FragmentAtomEditEvent.FragmentAtomEditEventType.ATOM_ADDED) {
faee.getFragment().removeFragmentAtom(faee.getFragmentAtom());
} else if (faee.getEventType()
== FragmentAtomEditEvent.FragmentAtomEditEventType.ATOM_REMOVED) {
faee.getFragment().addFragmentAtom(faee.getFragmentAtom());
} // end if
// trigger update listeners
faee.getFragmentationScheme().getFragmentList().triggerListeners();
}
public void redo() throws CannotRedoException {
super.redo();
select(start, end);
}
public void undo() throws CannotUndoException {
super.undo();
select(start, end);
}
/** Tells the edited object to apply the state after the edit */
public void redo() {
super.redo();
this.object.restoreState(postState);
}
/** Tells the edited object to apply the state prior to the edit */
public void undo() {
super.undo();
this.object.restoreState(preState);
}