UndoManager implemented for property changes