void ITextViewConnect.RemoveFromTextView(TextView textView) { textViews.Remove(textView); if (foldingManager != null) { foldingManager.RemoveFromTextView(textView); } }