When the transition spec text field is selected or edited right now, the related transition should be printed differently, e.g. with a different line width or a different color. This simplifies editing.
See image below for example - which transition does [check("AAA")] belong to?
When the transition spec text field is selected or edited right now, the related transition should be printed differently, e.g. with a different line width or a different color. This simplifies editing.
See image below for example - which transition does![image](https://user-images.githubusercontent.com/15799654/48124303-436f7480-e27c-11e8-9ad7-85485ed8b6f7.png)
[check("AAA")]
belong to?