Place marking menu
Marking menu tools


The marking menu on places:

Place marking menu if the place has no valid colour set inscription

Place marking menu if the page is in group view

Place marking menu if the place has a valid colour set inscription and the page is not in group view

Socket place marking menu if the place has a port type tag

consists of the following entries:

Clone Place (Clone Element)

Toggle Group

Show Marking

New Arc (Create Arc)

Delete Place (Delete Element)

Add surrounding transitions (Add surrounding nodes)

Assign to socket (Assign port-socket)