/// <summary>
/// Shows or sets the focus to the Properties Window dock, depending on its current state.
/// </summary>
private void ShowPropertiesWindow()
{
if (propertiesWindow != null)
{
propertiesWindow.Show();
return;
}
propertiesWindow = new PropertiesWindow();
if (projectExplorer != null)
{
if (projectExplorer.DockState == DockState.DockRight)
{
propertiesWindow.Show(projectExplorer.Pane, DockAlignment.Bottom, 0.5);
return;
}
}
propertiesWindow.Show(dockPanel, DockState.DockRight);
}
private void dockPanel_ContentRemoved(object sender, DockContentEventArgs e)
{
if (e.Content.GetType() == typeof(ProjectExplorer))
{
projectExplorer = null;
}
else if (e.Content.GetType() == typeof(PropertiesWindow))
{
propertiesWindow = null;
}
else if (e.Content.GetType() == typeof(CodeEditor))
{
CodeEditor codeEditor = (CodeEditor)e.Content;
if (codeEditor.EditorFile != "Untitled")
{
editorDictionary.Remove(codeEditor.EditorFile.ToLower());
}
}
}