APIDiagram Editor APIHistoryManager propertiesHistoryManager properties overviewNameDescriptiondisabledEnables/disables the work of HistoryManagersaveDelaySets the time interval for saving the current state in ms