public void InitForEdge(EdgeWrapper current_edge_wrapper)
{
this.Text = "Edge properties";
working_edge = current_edge_wrapper.GraphEdge;
lblName.Text = "Edge name: " + current_edge_wrapper.EdgeName;
RebuildList();
}
public void InitForEdge(EdgeWrapper current_edge_wrapper)
{
this.Text = "Edge properties";
working_edge = current_edge_wrapper.GraphEdge;
lblName.Text = "Edge name: " + current_edge_wrapper.EdgeName;
RebuildList();
}
private void buttonDeleteEdge_Click(object sender, EventArgs e)
{
EdgeWrapper current_edge = CurrentSelectedEdgeWrapper();
if (current_edge == null)
{
return;
}
current_edge.DeleteFromDB();
RebuildEdgeList();
}
private void buttonEdgeProperties_Click(object sender, EventArgs e)
{
EdgeWrapper node_to_edit = CurrentSelectedEdgeWrapper();
if (node_to_edit == null)
{
return;
}
PropertiesEditor node_dialog = new PropertiesEditor();
node_dialog.InitForEdge(node_to_edit);
node_dialog.ShowDialog();
}