To edit a transition in your DES, make sure you have Selection mode enabled.
Select the transition you wish to edit by clicking on the transition line in your DES. Now click on the Edit
button in the toolbar . Alternatively, right-click on the transition
in your DES and click Edit from the popup menu. This will open the Ged Transition Editor window.
From this window you can add and remove events from the transition you are editing. To add an event to the transition, select the event in the Available Events pane and click Add. This will move the event to the Selected Events pane. To remove an event from the transition, select the event in the Selected events pane and click Remove. This will move the event to the Available Events pane. If you wish to change the start or stop state for the transition, you must first Delete the transition then Create a new transition with the proper states.
You can also click on the transition label and drag it to a new position. If unsure which label belongs to your transition, clicking on a transition arrow will cause its label to be highlighted with a dotted border.
To edit the graphical representation of the transition (i.e the transition line) first make sure you have
Transition Shape Editor mode enabled.
Click and drag a point on the existing transition line or curve to a new space in the DES editor. When you release the mouse, an intermediary point will be added to the transition representation.
If the transition is represented by a line, the line will be split into two segments, connected at the point where the left mouse button was released. If the transition is represented by a curve, then the curve will go smoothly through the added point. You can add as many new vertices to the transition representation as you would like using the same method.
If you are unsatisfied with your changes, you can right-click on the transition line and select Default Shape. This will reset the line back to the original shape.
To rotate a self-loop around its state, click on the circle and drag to a new position. Editing a transition shape is especially useful when you have more than one transition terminating at the same state.
If you would like to switch a particular transition from using curves to using
lines for its representation (or vice-versa), enter
Selection mode
.
Then, right click on the transition representation that you would like to
change. Select the Toggle Curvature option in the context menu.