public void OnHighlighterChanged(object sender, HighlighterChangedEventArgs e)
{
if (OnHighlighterChangedHandler != null)
{
OnHighlighterChangedHandler(sender, e);
}
}
void editor_OnHighlighterChangedHandler(object sender, HighlighterChangedEventArgs e)
{
setBinding(e.DocLang);
selectLanguageTab(e.DocLang);
}
