@gromain: Have you tried the Arduino IDE Enhanced?
http://arduino.cc/forum/index.php/topic,118440.0.html