public virtual void OnDocumentChanged( Document document ) { DocumentChangedDelegate handler = DocumentChanged; if (handler != null) handler( document ); }