This project is read-only.
1
Vote

GIVisualEditor - Need border highlighters

description

  1. When user selects a node or edge, we need a color highlighter to depict that its selected.
  2. For StartNode we need a different border color
  3. For states with AlloStopHere, we need a different border color

comments