private void displayOptionsToolStripMenuItem_Click(object sender, EventArgs e)
{
if (DisplayPropertiesEditor == null)
{
DisplayPropertiesEditor = new DisplayPropertiesEditor(this);
DisplayPropertiesEditor.Show();
}
else
{
DisplayPropertiesEditor.BringToFront();
}
}
public void ChildClosing(Form Child)
{
if (Child is Traces)
{
Traces = null;
}
else if (Child is Plots)
{
Plots = null;
}
else if (Child is NodeEditor)
{
NodeEditor = null;
}
else if (Child is StreamEditor)
{
StreamEditor = null;
}
else if (Child is LinkEditor)
{
LinkEditor = null;
}
else if (Child is DomainEditor)
{
DomainEditor = null;
}
else if (Child is NetworkPropertiesEditor)
{
NetworkPropertiesEditor = null;
}
else if (Child is DisplayPropertiesEditor)
{
DisplayPropertiesEditor = null;
}
else if (Child is Console)
{
Console = null;
}
}