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;
}