Workspace marking menu

Workspace marking menu

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

Read Me Leave comment

Transition marking menus

Transition marking menus

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

Read Me Leave comment

Tool cell marking menus

Tool cell marking menus

The tool cell marking menus consist of the following entries: Close options Help Set options

Read Me Leave comment

Substitution transition marking menu

Substitution transition marking menu

Clone Transition Delete Transition New Arc Replace by subpage

Read Me Leave comment

Subpage marking menu

Subpage marking menu

Delete Redo Show Subpage Undo

Read Me Leave comment

State space node marking menu

State space node marking menu

Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group

Read Me Leave comment

State space arc marking menus

State space arc marking menus

Delete Element Delete SSArcs Toggle Group

Read Me Leave comment

Port-type tag marking menu

Port-type tag marking menu

Clone PorttypeTag Delete PorttypeTag Show Superpage

Read Me Leave comment

Place marking menus

Place marking menus

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

Read Me Leave comment

Palette tab marking menu

Palette tab marking menu

Close Palette Help

Read Me Leave comment