private void Canvas_RouteDoubleClick(object sender, CanvasRouteEventArgs e)
{
if (e.CanvasItem.From is StateItem && e.CanvasItem.To is StateItem)
{
var from = (StateItem)e.CanvasItem.From;
var to = (StateItem)e.CanvasItem.To;
MessageBox.Show("The transition clicked is " + e.CanvasItem.Transition.ToSpecificationString(),
"Transition " + from.Name + " -> " + to.Name, MessageBoxButtons.OK, MessageBoxIcon.Exclamation);
}
}
void Canvas_CanvasRouteSelected(object sender, CanvasRouteEventArgs e)
{
this.SelectedItems.Clear();
if (this.Button_AddNewNail.Checked)
{
Button_AddNewNail_Click(sender, e);
Button_AddNewNail.Checked = false;
}
else
{
SelectedRoute = e.CanvasItem;
this.Button_Delete.Enabled = true;
}
//Button_AddToken.Enabled = false;
//Button_DeleteToken.Enabled = false;
}
private void Canvas_RouteDoubleClick(object sender, CanvasRouteEventArgs e)
{
//if (e.CanvasItem is PNArc)
//{
// PNArc editedArc = e.CanvasItem as PNArc;
// ArcEditingForm form = new ArcEditingForm(editedArc);
// form.ShowDialog();
//}
EditingArc(e.CanvasItem as PNArc);
}
private void Canvas_RouteDoubleClick(object sender, CanvasRouteEventArgs e)
{
EditingLink(e.CanvasItem);
}
