Clone Element

Clone an element
- Apply the tool to an element, or select the Clone entry from the element's marking menu.
- The selected element is cloned, i.e. a new element with the same attributes as the original one is put into the hand as a tool.
- Apply the tool to an appropriate object to create a clone of the element. For example, if the cloned element is a place, the tool must be applied to a page, and if the cloned element is a guard, it can only be applied to a transition. If the element is a group, the clone is automatically added to the page to which the cloned group belongs.
- To stop cloning, drop the tool by either clicking on the clone tool again, by selecting the Drop Tool entry from the workspace marking menu, or by pressing the
ESC
key.
Please note that the clone tool will normally be named after the element that is targeted. For example, the clone entry in the marking menu of a place is called "Clone Place".
The clone tool also works on groups. For more information see Cloning.
This tool is available through:
palettes available : Create tools and
Marking menu tools : Page tab marking menu, Group tab marking menu, Transition marking menu, Place marking menu, Aux marking menu, Arc marking menu, Monitor name marking menu.