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