void InsertString(ICSharpCode.TextEditor.TextArea textArea, int offset, string str)
{
textArea.Document.Insert(offset, str);
//textArea.SelectionManager.SetSelection(new DefaultSelection(textArea.Document,
// textArea.Document.OffsetToPosition(offset),
// textArea.Document.OffsetToPosition(offset + str.Length)));
textArea.Caret.Position = textArea.Document.OffsetToPosition(offset + str.Length);
textArea.Refresh();
}