public TriptIDE() { InitializeComponent(); _redirect = new TextBoxWriter(outbox); Console.SetOut(_redirect); // redirect console writes to output textbox in tript editorbox.TextChanged +=new EventHandler(editorbox_TextChanged); output(Util.TLSIdentity()); }