Beispiel #1
0
 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();
  }
Beispiel #3
0
    public void redo() throws CannotRedoException {
      super.redo();

      select(start, end);
    }
Beispiel #4
0
    public void undo() throws CannotUndoException {
      super.undo();

      select(start, end);
    }
Beispiel #5
0
 /** Tells the edited object to apply the state after the edit */
 public void redo() {
   super.redo();
   this.object.restoreState(postState);
 }
Beispiel #6
0
 /** Tells the edited object to apply the state prior to the edit */
 public void undo() {
   super.undo();
   this.object.restoreState(preState);
 }