Clone Element Clone Group Create global group Delete Group Move to subpage New Group New group with all
History command marking menu
The History command marking menu can be accessed by opening a marking menu on a command under the History entry in the index. Redo Undo
History marking menu
The History marking menu is accessed by bringing up a marking menu on the History node in the index: Clear history Redo Undo
Monitor name marking menu
The Monitor name marking menu is accessed by bringing up a marking menu either on the name of a monitor in the index: or a monitor block in the index: Clone monitor Delete monitor Disable Enable Generate template code New block
Monitored node marking menus
The Monitored node marking menus are accessed by bringing up a marking menu on the name of a place or a transition under the Nodes ordered by place index entry for a monitor: Add surrounding places Add surrounding transitions Remove place Remove transition
Monitored nodes marking menu
The Monitored nodes marking menu is accessed by bringing up a marking menu on the Nodes ordered by pages index entry for a particular monitor: Create group
Monitored page marking menu
The Monitored page marking menu is accessed by bringing up a marking menu on the name of a page that is under the Nodes ordered by pages entry for a particular monitor: Remove page
Monitors marking menu
The Monitors marking menu is accessed by bringing up a marking menu on the Monitors entry in the index: Disable Enable New block
