internal virtual void ReturnPressed()
{
lock (this)
{
Document doc = GetDocument();
int len = doc.GetLength();
Segment segment = new Segment();
try
{
doc.GetText(outputMark, len - outputMark, segment);
}
catch (BadLocationException ignored)
{
Sharpen.Runtime.PrintStackTrace(ignored);
}
if (segment.count > 0)
{
history.Add(segment.ToString());
}
historyIndex = history.Count;
inPipe.Write(segment.array, segment.offset, segment.count);
Append("\n");
outputMark = doc.GetLength();
inPipe.Write("\n");
inPipe.Flush();
console1.Flush();
}
}