protected void RaiseActiveTextViewChanged(FSharpOption <ITextView> oldTextView, FSharpOption <ITextView> newTextView) { if (_activeTextViewChanged != null) { var args = new TextViewChangedEventArgs(oldTextView, newTextView); _activeTextViewChanged(this, args); } }
protected void RaiseActiveTextViewChanged(FSharpOption<ITextView> oldTextView, FSharpOption<ITextView> newTextView) { if (_activeTextViewChanged != null) { var args = new TextViewChangedEventArgs(oldTextView, newTextView); _activeTextViewChanged(this, args); } }