private void StopHighlighter() { if (_highlighter == null) return; _highlighter.Dispose(); _highlighter = null; ClearHighlighting(); }
private void StartHighlighter() { if (_highlighter != null) StopHighlighter(); if (chkDisableHili.Checked) return; if (!_parser.Language.CanParse()) return; _highlighter = new RichTextBoxHighlighter(txtSource, _language); _highlighter.Adapter.Activate(); }