private void MarkCurrentAnnotationAsChanged() { // something has changed in the cache for the annotation or its analysis, // so mark it as changed. m_annotationsChanged.Add(m_currentAnnotation); }