Bug in Arduino IDE 1.0

Community Suggestions for the Arduino Project
5

many are only mentioned on the forum,

some are posted on - Google Code Archive - Long-term storage for Google Code Project Hosting. -