The widgets of the instrument UndoRedoManager should be of type
AbstractButton to be more generic.