private void UpdateText(string text)
{
_elementGenerator.Refresh(text);
_isInCustomUpdate = true;
using (_textEditor.Document.RunUpdate())
{
_textEditor.Document.Text = text;
}
_isInCustomUpdate = false;
}
public void RefreshView()
{
_elementGenerator.Refresh(_textEditor.Text);
_textEditor.TextArea.TextView.Redraw();
}