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; } }