Hi,
for my students at University Bremen I made some small enhancments into the Arduino IDE (like better output for direct download with avrdude and some new properties for this.
Currently I'm working on a patch for direct downloading without compiling before.
If you like this or/and if it is possible to work with you into a developer team it would be nice to "hear" something from the team.
Next thing I will fix a bug, if user try to work with a USB programmer (over RS232) it's not possible to work with the build in Serial-Monitor.
Cheers
LunaX
P.S. current patch is availabe on GIT-Hub. If somebody is interested, please send me a note.