@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.