627628629630631632633634635636637
} public void performUndo() { XJUndo undo = getCurrentUndo(); if(undo != null) { undo.performUndo(); } } public void performRedo() { XJUndo undo = getCurrentUndo();