Added a UndoRedoManager to be tailored to our project's actions.