Esempio n. 1
0
    public void redo() throws CannotRedoException {
      super.redo();

      select(start, end);
    }
Esempio n. 2
0
    public void undo() throws CannotUndoException {
      super.undo();

      select(start, end);
    }