コード例 #1
0
ファイル: SwingContent.java プロジェクト: afmckinney/ai2-kawa
 public void redo() throws CannotUndoException {
   super.redo();
   try {
     doit(isInsertion);
   } catch (BadLocationException ex) {
     throw new CannotRedoException();
   }
 }
コード例 #2
0
ファイル: JEditTextArea.java プロジェクト: zeph/grinder
    public void redo() throws CannotRedoException {
      super.redo();

      select(start, end);
    }
コード例 #3
0
ファイル: JEditTextArea.java プロジェクト: zeph/grinder
    public void undo() throws CannotUndoException {
      super.undo();

      select(start, end);
    }