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