private void Form1_MouseUp(object sender, System.Windows.Forms.MouseEventArgs e)
{
if (hitState == null)
{
selectedState = startConnectionState = null; //empty interaction states
}
if (stateList.Count > 2)
{
StateXML[0] = State.DataSerializeState(stateList); //update config
}
if (regionList.Count > 0)
{
RegionXML[0] = AutomataRegion.DataSerializeRegion(regionList); //update region config
}
if (dragState != null)
{
dragState = null;
TransitionXML[0] = Transition.DataSerializeTransition(transitionList);
}
//new selection rectangle ? create region
if (p.selectionRectangle.Height != 0)
{
CreateRegion();
p.selectionRectangle.Height = 0;
}
hitRegion = null;
hitsizeHandle = null;
}
private void UpdateRegionsConfigs()
{
// Update Config Pin if there is a change
if (regionList.Count > 0)
{
RegionXML[0] = AutomataRegion.DataSerializeRegion(regionList);
EnumManager.UpdateEnum(myGUID + "_Regions", regionList[0].Name, regionList.Select(x => x.Name).ToArray());
}
else
{
RegionXML[0] = "";
//EnumManager.UpdateEnum(myGUID + "_Regions", "", regionList.Select(x => x.Name).ToArray());
}
}
private void UpdateRegionsConfigs()
{
// Update Config Pin if there is a change
if (regionList.Count > 0)
{
RegionXML = AutomataRegion.DataSerializeRegion(regionList);
//EnumManager.UpdateEnum(myGUID + "_Regions", regionList[0].Name, regionList.Select(x => x.Name).ToArray());
RegionsEnum.Clear();
regionList.ForEach(region => RegionsEnum.AddEntry(region.Name));
}
else
{
RegionXML = "";
//EnumManager.UpdateEnum(myGUID + "_Regions", "", regionList.Select(x => x.Name).ToArray());
RegionsEnum.Clear();
}
}
