Example #1
0
 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());
 }