Suggestions for improvement to the Linux IDE

For the first point: http://arduino.cc/forum/index.php/topic,120440.0.html

For the last point: You can change the font. Check under ~/.arduino/preferences.txt for editor.font