Interest in overhauling the IDE user interface?

Community Suggestions for the Arduino Project
98

I've published a 32bit version, along with a bunch of updates. It's added to the build system so now we will always get both versions. Please test it out here:

http://hudson.joshy.org:9001/job/ArduinoX/lastSuccessfulBuild/artifact/dist/