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); }