634635636637638639640641642643644
} public void performRedo() { XJUndo undo = getCurrentUndo(); if(undo != null) { undo.performRedo(); } } public XJUndo getUndo(JTextPane textPane) { return undoEngine.getUndo(textPane);