Right now, when a transition is selected, the transition arrow turns blue. However, when a node is selected, a blue box is drawn around the node, instead of recoloring the border of the node.
The new intended functionality is to color the node blue when it is selected.
Right now, when a transition is selected, the transition arrow turns blue. However, when a node is selected, a blue box is drawn around the node, instead of recoloring the border of the node.
The new intended functionality is to color the node blue when it is selected.