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