void ITextDocument.ReplaceText(int offset, int length, MonoDevelop.Core.Text.ITextSource value) { document.Replace(offset, length, value.Text); }
void ITextDocument.InsertText(int offset, MonoDevelop.Core.Text.ITextSource text) { document.Insert(offset, text.Text); }