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);
 }