MOVED: Bug with IDE 1.0.1 if you change font size the cursor location is wrong

This topic has been moved to Suggestions for the Arduino Project.

http://arduino.cc/forum/index.php?topic=115345.0