APIDiagram Editor APIHistoryManager propertiesdisabledOn this pagedisabledDescriptionEnables/disables the work of HistoryManagerUsagedisabled: boolean;Change log: Added in v4.1