private void manager_DockControlRemoved(object sender, DockControlEventArgs e)
{
if (e.DockControl is PropertiesWindow)
{
this.wndProperties = (PropertiesWindow)null;
}
if (e.DockControl is OutputWindow)
{
this.wndOutput = (OutputWindow)null;
}
if (!(e.DockControl is ErrorListWindow))
{
return;
}
this.wndErrorList = (ErrorListWindow)null;
}
private void manager_DockControlAdded(object sender, DockControlEventArgs e)
{
if (e.DockControl is PropertiesWindow)
{
this.wndProperties = (PropertiesWindow)e.DockControl;
this.wndProperties.PropertyValueChanged += new EventHandler(this.wndProperties_PropertyValueChanged);
}
if (e.DockControl is OutputWindow)
{
this.wndOutput = (OutputWindow)e.DockControl;
}
if (!(e.DockControl is ErrorListWindow))
{
return;
}
this.wndErrorList = (ErrorListWindow)e.DockControl;
}
