453454455456457458459460461462463
return; finishAnyOperations(); UndoController undoController=getUndoController(); if (undoController!=null){ if (isUndo) undoController.undo(); else undoController.redo(); refreshUndoButtons(); } }