private void StopHighlighter() { if (_highlighter != null) { _highlighter.Dispose(); _highlighter = null; ClearHighlighting(); } }
private void StopHighlighter() { if (_highlighter == null) { return; } _highlighter.Dispose(); _highlighter = null; ClearHighlighting(); }