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