private void documents_ActiveItemChanged(object sender, EventArgs e) { ActiveDocumentChanged.Raise(this, e); }
private void DocumentRegistryActiveDocumentChanged(object sender, EventArgs e) { ActiveDocumentChanged.Raise(this, EventArgs.Empty); }