| private MarkCurrentAnnotationAsChanged ( ) : void | ||
| return | void | |
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);
}