History manager API 概述

History manager 方法概述

名称	描述
add()	添加一个新状态
disable()	阻止 HistoryManager
enable()	重新启动 HistoryManager 的工作，将当前状态保存为初始状态
isRedo()	检查通过 Undo 操作撤销的动作是否已被恢复
isUndo()	检查某个动作是否已被撤销
redo()	恢复被 Undo 操作撤销的动作
reset()	重置之前的更改并保存当前状态
undo()	撤销 Diagram Editor 中的最后一步操作