The invariants graph gets messy when a lot of invariants are drawing arrows to
the same terminal event. The arrow heads overlap and cover the event label and
it looks pretty bad.
We need to figure out a nicer way to offset the arrowheads from the event label
and replace several arrowheads and arrows with a single arrowhead and some
merging of arrows.
Original issue reported on code.google.com by T.101.JV on 22 Nov 2011 at 8:54
Original issue reported on code.google.com by
T.101.JV
on 22 Nov 2011 at 8:54