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