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