public InteractiveView()
{
InitializeComponent();
Input.Vm = Vm;
_consoleWriter = new DocumentTextWriter(Console.Document, 0);
ConsoleOut.Writer.Add(_consoleWriter, Dispatcher);
Input.Focus();
}
/// <summary>
/// Creates a new RichTextModelWriter that inserts into document, starting at insertionOffset.
/// </summary>
public RichTextModelWriter(RichTextModel richTextModel, IDocument document, int insertionOffset)
: base(new DocumentTextWriter(document, insertionOffset))
{
if (richTextModel == null)
{
throw new ArgumentNullException("richTextModel");
}
this.richTextModel = richTextModel;
this.documentTextWriter = (DocumentTextWriter)base.textWriter;
currentColor = richTextModel.GetHighlightingAt(Math.Max(0, insertionOffset - 1));
}
