HistoryManager API 概述
这是一组 API，可用于管理 Diagram Editor 中操作的历史记录。使用 history 关键字通过 editor 对象访问 HistoryManager：
const editor = new dhx.DiagramEditor("editor_container", {
type: "default" // 仅限 default
});
// ...
editor.history.redo(); // 恢复因 Undo 操作而被撤销的动作
HistoryManager 方法概述
| Name | 描述 |
|---|---|
| add() | 添加一个新状态 |
| disable() | 阻止 HistoryManager |
| enable() | 重新启动 HistoryManager 的工作，将当前状态保存为初始状态 |
| isRedo() | 检查通过 Undo 操作撤销的动作是否已被恢复 |
| isUndo() | 检查某个动作是否已被撤销 |
| redo() | 恢复被 Undo 操作撤销的动作 |
| reset() | 重置之前的更改并保存当前状态 |
| undo() | 撤销 Diagram Editor 中的最后一步操作 |
HistoryManager 属性概述
| Name | 描述 |
|---|---|
| saveDelay | 设置以毫秒为单位保存当前状态的时间间隔 |