public void PaneClosed(PaneView pane) { if (pane is SemanticTypeTreeView) { SemanticTypeTreeController = null; } else if (pane is PropertyGridView) { PropertyGridController = null; } else { throw new ApplicationException("Unknown pane : " + pane.GetType().FullName); } }
// Pane management public void PaneClosed(PaneView pane) { if (pane is SymbolEditorView) { SymbolEditorController = null; } else if (pane is PropertyGridView) { PropertyGridController = null; } else if (pane is SymbolListView) { SymbolListController = null; } else if (pane is StructureListView) { StructureListController = null; } else { throw new ApplicationException("Unknown pane : " + pane.GetType().FullName); } }