public SelectionManager(IDocument document) { this.document = document; document.DocumentChanged += new DocumentEventHandler(DocumentChanged); }