private void graphViewer_EdgeAdded(object sender, EventArgs e)
{
Edge edge = (Edge)sender;
if (!GameMasterDataManager.GetInstance().TryAddEdge(edge.Source, edge.Target))
{
// Shouldn't add this edge. Undo it
graphViewer.Undo();
}
else
{
GameMasterDataManager.GetInstance().SaveModifiedFiles();
if (refreshGraphTimer == null)
{
refreshGraphTimer = new Timer();
refreshGraphTimer.Interval = 100;
refreshGraphTimer.Enabled = true;
refreshGraphTimer.Tick += new EventHandler(OnRefreshTimerTick);
refreshGraphTimer.Start();
}
}
}