Close index
Tools


Close index

Close index

When a binding index shows which binding was used when firing the transition, applying close index will close it.

The tool is available through:

Marking menu tools : Binding index marking menu