Beispiel #1
0
 public void undo() throws CannotUndoException {
   super.undo();
   try {
     doit(!isInsertion);
   } catch (BadLocationException ex) {
     throw new CannotUndoException();
   }
 }
Beispiel #2
0
    public void undo() throws CannotUndoException {
      super.undo();

      select(start, end);
    }