/// <summary>
/// Handles the EventChanged event of the Transition.
/// Updates the state view where the transition is used.
/// </summary>
private void Transition_EventChanged(object sender, EventArgs e)
{
Event = Transition.Event;
StateView.Refresh();
}
/// <summary>
/// Handles the NameChanged event of the Event.
/// Updates the state view where the transition is used.
/// </summary>
private void Event_NameChanged(object sender, EventArgs e)
{
StateView.Refresh();
}
/// <summary>
/// Handles the StateToChanged event of the Transition.
/// Updates the state view where the transition is used.
/// </summary>
private void Transition_StateToChanged(object sender, EventArgs e)
{
StateView.Refresh();
}
