/// <summary>
/// Format edge event handler
/// </summary>
/// <param name="sender"></param>
/// <param name="args"></param>
public void FormatEdge(Object sender, FormatEdgeEventArgs args)
{
NamedEdge e = (NamedEdge)args.Edge;
args.EdgeFormatter.Label.Value = ((NamedEdge)args.Edge).Name;
// setting the vertex name
if (CurrentEdgePath != null)
{
if (CurrentEdgePath.Contains(e))
{
args.EdgeFormatter.Label.Value = String.Format("{0} ({1})",
e.Name,
m_CurrentEdgePath.IndexOf(e)
);
args.EdgeFormatter.Style = GraphvizEdgeStyle.Bold;
args.EdgeFormatter.Label.FontColor = Color.DarkGreen;
args.EdgeFormatter.StrokeColor = Color.DarkGreen;
}
else
{
args.EdgeFormatter.Label.FontColor = Color.Gray;
args.EdgeFormatter.StrokeColor = Color.Gray;
args.EdgeFormatter.Style = GraphvizEdgeStyle.Unspecified;
}
}
}
