to add the surrounding nodes to a group:
- Apply the tool to a place or a transition while being in a group or global group.
- The surrounding transitions or places are added to the group or global group.
To add the surrounding nodes to a monitor:
- Apply the tool to a place name or transition name under the
Nodes ordered by pages
entry for a monitor. - The surrounding transitions or places are added to the monitor, and the syntax of the monitor is rechecked.
This tool is available through:
You must be logged in to post a comment.