/// <summary>
 /// See IReplWindow
 /// </summary>
 public void PasteText(string text)
 {
     _replWindow.PasteText(text);
 }