Interest in overhauling the IDE user interface?

Development Suggestions for the Arduino Project
36

+1

Global font selection is good though. As for window size/location, probably global for that as well but please put it in somewhere.

Rob