public DocumentViewerToolTipServiceQuickInfoSource(DocumentViewerToolTipService documentViewerToolTipService)
 {
     if (documentViewerToolTipService == null)
     {
         throw new ArgumentNullException(nameof(documentViewerToolTipService));
     }
     this.documentViewerToolTipService = documentViewerToolTipService;
 }
		public DocumentViewerToolTipServiceQuickInfoSource(DocumentViewerToolTipService documentViewerToolTipService) {
			if (documentViewerToolTipService == null)
				throw new ArgumentNullException(nameof(documentViewerToolTipService));
			this.documentViewerToolTipService = documentViewerToolTipService;
		}