示例#1
0
 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;
 }
示例#2
0
 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;
 }