public void DocumentTitlesChanged()
{
if (Factory.GUIController.InvokeRequired)
{
Factory.GUIController.Invoke(new DocumentsTitledChangedHandler(DocumentTitlesChanged));
return;
}
foreach (ContentDocument document in _panes)
{
document.Control.DockingContainer.Text = document.Name;
}
RefreshWindowsMenu();
if (ActiveDocument != null)
{
ActiveDocument.Control.DockingContainer.Refresh();
}
}