コード例 #1
0
ファイル: VRedoButton.java プロジェクト: timburrow/ovj3 
 public void actionPerformed(ActionEvent e) {
   UndoManager mgr = Undo.getLastUndoMgr();
   if (mgr != null && mgr.canRedo()) mgr.redo();
 }