RE: [jgrapht-users] Specifying edges' appearance

[<Tom...@lo...>]

Dear all,



I've managed to overcome my little problem by creating a new kind of 
JGraphT Edge (ObjectHolderDirectedEdge extends DirectedEdge), and using
it for my project.

By overriding it's toString() method I got the desired customization (it 
also holds a value, hence it's name).

best,
  tom.