public void Detach(DocumentState doc) { doc.DocumentChanged -= DocumentState_DocumentChanged; doc.DocumentLinted -= DocumentState_DocumentLinted; }
private void Attach(DocumentState doc) { doc.DocumentChanged += DocumentState_DocumentChanged; doc.DocumentLinted += DocumentState_DocumentLinted; }