beo6:
@LETARTARE: it is compiled with wxWidgets 2.9.3. There might be problems when it is compiled with a different Version.@eried: i made a quick webpage for uploading of libraries some time ago here: code-i.de
But it was never really used.
And i would really like to redo the webpage completely when it would be used, as i learned much new since then.Pauls repository is only managed by himself i believe.
looks like a nice library manager @eried. Where can i get it?
//Edit: oh sorry. just seen that it is a modified arduino editor. looks nice.
If you want i could make the webmanagement side to add a user-repository to the mod.
that would be nice.
That repository thing will be very nice, you can even add a link into your application. My library manager is monitoring the library folder while is opened so there is no really necessity to integrate anything, only I will like to call it with the preferences file as an argument, since I am not using the same from the original IDE.
Besides time you need to get also a seller for latin America 
I checked your teensy 3.0 and it is a very sexy/cheap board but more than half of the price goes to the shipment 
probably another 25% for eventual customs charges.