Paths should have arrow heads.

[jbenet]

This may be waiting on proper graphviz path drawing, but just going to add it here before someone else does.

[wking]

On Mon, Nov 28, 2016 at 01:24:20PM -0800, Juan Benet wrote:

This may be waiting on proper graphviz path drawing…

Graphviz edges are #24. The Graphviz edges have arrow heads, but they may not be particularly useful unless we do a very good job telling Graphviz the shape of our nodes. I expect it's better to keep the current approach that terminates edges at the box center, and relies on a masking white rectangle to hide the edge which lies under the box. I'm not sure how to handle arrows in that case though, since you want the arrow tip at the intersection between the edge path and the card border. There may be an SVG incatation for that, but I'm not sure what it is.

Since all directed edges will flow downward, arrow heads should not be particularly important. I'm fine with having them, but they currently feel like more work to get right then they're worth.