private void OnActiveDocumentChanged(object sender, ActiveDocumentEventArgs e)
{
foreach (DocumentTreeNode node in this._openDocsTreeNode.Nodes)
{
if (node.Document == e.NewDocument)
{
this._internalChange = true;
try
{
this._openDocsTreeView.SelectedNode = node;
node.EnsureVisible();
break;
}
finally
{
this._internalChange = false;
}
}
}
}
private void OnActiveDocumentChanged(ActiveDocumentEventArgs e)
{
if (this._activeDocumentChangedHandler != null)
{
this._activeDocumentChangedHandler(this, e);
}
}
