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