public DocumentViewerToolTipServiceCommandTargetFilter(DocumentViewerToolTipServiceProvider documentViewerToolTipServiceProvider, ITextView textView)
 {
     if (documentViewerToolTipServiceProvider == null)
     {
         throw new ArgumentNullException(nameof(documentViewerToolTipServiceProvider));
     }
     if (textView == null)
     {
         throw new ArgumentNullException(nameof(textView));
     }
     this.documentViewerToolTipServiceProvider = documentViewerToolTipServiceProvider;
     this.textView = textView;
 }
 DocumentViewerToolTipServiceQuickInfoSourceProvider(DocumentViewerToolTipServiceProvider documentViewerToolTipServiceProvider)
 {
     this.documentViewerToolTipServiceProvider = documentViewerToolTipServiceProvider;
 }
Example #3
0
 DocumentViewerCommandTargetFilterProvider(DocumentViewerToolTipServiceProvider documentViewerToolTipServiceProvider)
 {
     this.documentViewerToolTipServiceProvider = documentViewerToolTipServiceProvider;
 }
Example #4
0
 public DocumentViewerCommandTargetFilter(DocumentViewerToolTipServiceProvider documentViewerToolTipServiceProvider, ITextView textView)
 {
     this.documentViewerToolTipServiceProvider = documentViewerToolTipServiceProvider;
     this.textView = textView;
 }
 DocumentViewerToolTipServiceListener(DocumentViewerToolTipServiceProvider documentViewerToolTipServiceProvider)
 {
     this.documentViewerToolTipServiceProvider = documentViewerToolTipServiceProvider;
 }