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