private void RefreshLocation(int offset, int length)
{
if (_isInCustomUpdate || _isInRedoUndo)
{
return;
}
var textDocument = _textEditor.Document;
var affectedLocation = textDocument.GetLocation(offset);
if (_elementGenerator.RefreshLocation(affectedLocation, length))
{
// Note: a redraw could be required here
}
}
private void RefreshLocation(int offset, int length)
{
if (_isInCustomUpdate || _isInRedoUndo)
{
return;
}
var textDocument = _textEditor.Document;
var affectedLocation = textDocument.GetLocation(offset);
if (_elementGenerator.RefreshLocation(affectedLocation, length))
{
// FIXME: commented, this dramatically affects performance:
//_textEditor.TextArea.TextView.Redraw();
}
}
