变迁标记菜单
Marking menu tools


变迁标记菜单:

Transition marking menu Transition marking menu (in group)

包含以下选项:

复制元素Clone Element

创建弧Create Arc

删除元素Delete Element

触发变迁 (单步Single Step)

加入组Toggle Group

撤销Undo

重做Redo