Community
Participate
Working Groups
The advanced textual editor for transitions enables to specify the name of a transition. Since the name of a transition is not an important feature, the editor should only focus on features that are really characterizing the transition (i.e., its triggers, guard, effect). For editing the name, users can rely on the simple direct editor, or use the property window.
Created attachment 180951 [details] Remove the name specification from the advanced transition editor With this patch, the name of a transition can no longer be edited using the advanced textual editor for transitions.
Fixed with patch from Arnaud Cuccuru