public void graphDisplay_Enter(object sender, EventArgs e)
{
graph1.checkForRepeatNames();
graph1.updateGraphControl(graphControl1, this.globalLabelsText);
graph1.updateFromGraphControl(graphControl1);
switch (Program.settings.defaultLayoutAlgorithm)
{
case defaultLayoutAlg.SpringEmbedder:
Program.main.layoutSpringEmbedderItem_Click(sender, e); break;
case defaultLayoutAlg.Tree:
Program.main.layoutTreeItem_Click(sender, e); break;
case defaultLayoutAlg.Random:
Program.main.layoutRandomizerItem_Click(sender, e); break;
case defaultLayoutAlg.Custom1:
Program.main.customLayout0MenuItem_Click(sender, e); break;
case defaultLayoutAlg.Custom2:
Program.main.customLayout1MenuItem_Click(sender, e); break;
case defaultLayoutAlg.Custom3:
Program.main.customLayout2MenuItem_Click(sender, e); break;
}
}
private void Props_PropertyValueChanged(object s, PropertyValueChangedEventArgs e)
{
if (rule != null)
{
grammarRuleDisplay gDisplay = (grammarRuleDisplay)graphControl.FindForm();
rule.updateGraphControl(gDisplay.graphControlLHS, gDisplay.graphControlRHS,
gDisplay.globalLabelsLText, gDisplay.globalLabelsRText);
}
else
{
graphDisplay gDisplay = (graphDisplay)graphControl.FindForm();
graph.updateGraphControl(graphControl, gDisplay.globalLabelsText);
}
}
