APIDiagram Editor APIHistory manager APIHistory manager propertiesHistory manager properties overview NameDescriptionsaveDelaySets the time interval for saving the current state in ms