Set color

Set color

Set the color of an element. Apply the tool to an element. The color of the element changes to the selected color. These tools respect groups If you apply one of these tools to magnetic guidelines, all elements attached to the guideline, will be colored accordingly. These tools are available through:

Read Me Leave comment

Set line thickness

Set line thickness

Set line thickness. The small number indicates the line thickness. Apply the tool to a place, transition, arc, auxiliary box, or auxiliary ellipse. The line thickness of the element is set to the specified number. This tool respects groups. If you apply this tool to magnetic guidelines, all elements snapped get the specified line thickness. This tool is available through: Options The line thickness can […]

Read Me Leave comment

Cycle arc head

Cycle arc head

Cycle size of an arc head. Apply the tool to an arc. The size of the arc head cycles to the next size. This tool respects groups. If you apply this tool to magnetic guidelines, the head-size of all snapped arcs are changed accordingly. This tool is available through:

Read Me Leave comment

Clone graphical attributes

Clone graphical attributes

Clone one or more graphical attributes. Apply the tool to a transition, a place, an inscription, an arc, or an auxiliary element. The selected properties are cloned. Apply the tool again. The properties are applied. This tool respects groups and magnetic guidelines. This tool is available through: Options Any or all of the attributes color, height, width, line width, fill and arrow head size can […]

Read Me Leave comment

Toggle fill

Toggle fill

Toggle whether an element is filled or not Apply the tool to a place, transition, auxiliary box, or auxiliary ellipse. The element changes fill-color between white and colored. This tool respects groups. If you apply this tool to magnetic guidelines, all elements snapped to the guideline are filled/unfilled. This tool is available through:

Read Me Leave comment