public void Dispose() { if (this.document != null) { document.DocumentChanged -= new DocumentEventHandler(DocumentChanged); this.document = null; } }