void SubjectBufferChangedLowPriority(object sender, TextContentChangedEventArgs e) { _sessionIsInvalid = true; _abortedAugment = null; }
private void Caret_PositionChanged(object sender, CaretPositionChangedEventArgs e) { _sessionIsInvalid = true; _abortedAugment = null; }