public void onOutput(OutputEvent e)
{
string message = e.getMsg();
if (!(message.StartsWith("'board") || message.StartsWith("Board"))) //filtra i messaggi derivanti da text_term
{
System.Console.Write(e.getMsg());
}
}
public void onOutput(OutputEvent ev)
{
String s = Utilities.stripQuotes(ev.getMsg());
System.Console.Out.Write(s);
}
public void onOutput(OutputEvent e)
{
Write(e.getMsg());
}
public void onOutput(OutputEvent ev)
{
String s = Utilities.stripQuotes(ev.getMsg());
s = s.Replace("\n", "\r\n");
outputArea.Text += s;
outputArea.SelectionStart = outputArea.TextLength;
outputArea.SelectionLength = 0;
outputArea.ScrollToCaret();
Application.DoEvents();
if (library.enableTrace)
{
System.Console.Out.Write(s);
}
}
public void onOutput(OutputEvent oe)
{
_output += oe.getMsg();
}
public void onOutput(OutputEvent e)
{
System.Console.WriteLine(e.getMsg());
}