| public GetOutputType ( string text ) : OutputType | ||
| text | string | |
| return | OutputType | |
public void PrintOutput(string text)
{
var outputType = outputParser.GetOutputType(text);
// suppress warnings...
if (outputType != OutputType.Warning)
{
Glue.MainGlueWindow.Self.Invoke(() =>
{
TextBox.AppendText(text + "\n");
TextBox.ScrollToEnd();
});
}
}
public void PrintOutput(string text)
{
// suppress warnings...
var split = text.Split('\n');
foreach (var line in split)
{
var outputType = outputParser.GetOutputType(line);
if (outputType != OutputType.Warning)
// Now all output is combined into one, so we have to do a split
{
Glue.MainGlueWindow.Self.Invoke(() =>
{
TextBox.AppendText(line + "\n");
TextBox.ScrollToEnd();
});
}
}
}
