Graph editing
- Double click on the canvas to add new vertex.
- Double click on a vertex to start new edge. Click once on another vertex to connect the edge.
- Right click to delete vertices or edges.
- Drag a vertex to move it.
Press Shift to return
Token editing
- Double click on a vertex to add a token.
- Drag a token group to change its size.
- Right click to delete a token group.