public void undo() throws CannotUndoException { super.undo(); try { doit(!isInsertion); } catch (BadLocationException ex) { throw new CannotUndoException(); } }
public void undo() throws CannotUndoException { super.undo(); select(start, end); }