void TextDataModel_ContentTypeChanged(object?sender, TextDataModelContentTypeChangedEventArgs e)
{
if (textView.IsClosed)
{
return;
}
owner.InitializeOptions(textView, e.BeforeContentType, e.AfterContentType, force: false);
}
public TextViewListener(TextViewOptionsGroup owner, IWpfTextView textView)
{
this.owner = owner;
this.textView = textView;
textView.Closed += TextView_Closed;
textView.Options.OptionChanged += Options_OptionChanged;
textView.TextDataModel.ContentTypeChanged += TextDataModel_ContentTypeChanged;
owner.InitializeOptions(textView, null, textView.TextDataModel.ContentType, force: true);
}