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); }