virtual void actionPerformed(const ActionEventUnrecPtr e) { TheUndoManager->redo(); }
void handleRedoButtonAction(ActionEventDetails* const details, UndoManagerPtr TheUndoManager) { TheUndoManager->redo(); }