/// Append the text in the buffer to gui.txtStdOut
public override void Write(byte[] buffer, int offset, int count)
{
lock (this)
{
if (_gui.IsDisposed)
{
return;
}
if (!_gui.Visible)
{
_gui.Show();
_gui.Focus();
}
var actualBuffer = new byte[count];
Array.Copy(buffer, offset, actualBuffer, 0, count);
var text = Encoding.UTF8.GetString(actualBuffer);
// append output to the buffer
_outputBuffer += text;
if (count % 1024 != 0)
{
// Cleanup output for html
if (_outputBuffer.EndsWith("\n"))
{
_outputBuffer = _outputBuffer.Remove(_outputBuffer.Length - 1);
}
_outputBuffer = _outputBuffer.Replace("<", "<").Replace(">", ">");
_outputBuffer = _outputBuffer.Replace("&clt;", "<").Replace("&cgt;", ">");
_outputBuffer = _outputBuffer.Replace("\n", "<br/>");
_outputBuffer = _outputBuffer.Replace("\t", "  ");
// write to output window
_gui.AppendText(_outputBuffer, ExternalConfig.defaultelement);
// reset buffer and flush state for next time
_outputBuffer = String.Empty;
}
}
}
/// Append the text in the buffer to gui.txtStdOut
public override void Write(byte[] buffer, int offset, int count)
{
lock (this)
{
if (_gui.IsDisposed)
{
return;
}
if (!_gui.Visible)
{
_gui.Show();
}
var actualBuffer = new byte[count];
Array.Copy(buffer, offset, actualBuffer, 0, count);
var text = Encoding.UTF8.GetString(actualBuffer);
_gui.BeginInvoke((Action) delegate()
{
// Cleanup output for html
var div = _gui.txtStdOut.Document.CreateElement(ExternalConfig.defaultelement);
// if (text.StartsWith("\n"))
// text = text.Remove(0);
if (text.EndsWith("\n"))
{
text = text.Remove(text.Length - 1);
}
text = text.Replace("<", "<").Replace(">", ">");
text = text.Replace("&clt;", "<").Replace("&cgt;", ">");
text = text.Replace("\n", "<br/>");
text = text.Replace("\t", "  ");
div.InnerHtml = text;
_gui.txtStdOut.Document.Body.AppendChild(div);
});
_gui.ScrollToBottom();
}
}