public CurrentLineHighlighter(IWpfTextView wpfTextView, IEditorFormatMap editorFormatMap) {
			if (wpfTextView == null)
				throw new ArgumentNullException(nameof(wpfTextView));
			if (editorFormatMap == null)
				throw new ArgumentNullException(nameof(editorFormatMap));
			this.wpfTextView = wpfTextView;
			this.editorFormatMap = editorFormatMap;
			currentLineHighlighterElement = new CurrentLineHighlighterElement();
			wpfTextView.Closed += WpfTextView_Closed;
			wpfTextView.Options.OptionChanged += Options_OptionChanged;
			UpdateEnableState();
		}
Esempio n. 2
0
 public CurrentLineHighlighter(IWpfTextView wpfTextView, IEditorFormatMap editorFormatMap)
 {
     if (wpfTextView == null)
     {
         throw new ArgumentNullException(nameof(wpfTextView));
     }
     if (editorFormatMap == null)
     {
         throw new ArgumentNullException(nameof(editorFormatMap));
     }
     this.wpfTextView                   = wpfTextView;
     this.editorFormatMap               = editorFormatMap;
     currentLineHighlighterElement      = new CurrentLineHighlighterElement();
     wpfTextView.Closed                += WpfTextView_Closed;
     wpfTextView.Options.OptionChanged += Options_OptionChanged;
     UpdateEnableState();
 }