The Workspace marking menu appears when you bring up a marking menu on the grey area to the right, or in the index: Close all nets Drop Tool Load net New net Save all nets
The Workspace marking menu appears when you bring up a marking menu on the grey area to the right, or in the index: Close all nets Drop Tool Load net New net Save all nets
consist of the following entries: Add surrounding places Bind manually Clone Elements Clone Transition Delete elements Delete Transition Fire and show Fire Transition New Arc Toggle Group
The tool cell marking menus consist of the following entries: Close options Help Set options
Clone Transition Delete Transition New Arc Replace by subpage
Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group
Delete Element Delete SSArcs Toggle Group
Clone PorttypeTag Delete PorttypeTag Show Superpage
consists of the following entries: Add surrounding transitions Assign to socket Clone Elements Clone Place Delete elements Delete Place New Arc Show Marking Toggle Group