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()); }