[PATCH 3 of 3] graphmod: use different styles for different edge types

[Martijn Pieters]

On 23 February 2016 at 20:30, Tim Delaney <timothy.c.delaney at gmail.com> wrote:
> I don't know if it's feasible with the current graphing code (I suspect
> not), but it might also be nice if we could trim lines that would continue
> past the end of the graph (and indicate that with an *) e.g.

Sorry, my example was trimmed. `:` is a grandfather line, and *does*
reach a node. I'm going to hack the graphing code to do what you
proposed though, which is what my proposal is about. Instead of `*` I
proposed `~` after a short solid line. `*` is too 'round', it could be
used for nodes instead (like `o` and `@` and `x` are already).

-- 
Martijn Pieters