public ConsoleTextArea(string[] argv) : base()
{
history = new List<string>();
console1 = new ConsoleWriter(this);
console2 = new ConsoleWriter(this);
@out = new TextWriter(console1, true);
err = new TextWriter(console2, true);
PipedOutputStream outPipe = new PipedOutputStream();
inPipe = new PrintWriter(outPipe);
@in = new PipedInputStream();
try
{
outPipe.Connect(@in);
}
catch (IOException exc)
{
Sharpen.Runtime.PrintStackTrace(exc);
}
GetDocument().AddDocumentListener(this);
AddKeyListener(this);
SetLineWrap(true);
SetFont(new Font("Monospaced", 0, 12));
}