Bug in Arduino IDE 1.0

Community Suggestions for the Arduino Project
2

known issue, see - http://arduino.cc/forum/index.php/topic,46966.0.html -