Suggestions for improvement to the Linux IDE

"Linux is all about hackers and coders, so a large portion of the Arduino audience uses Linux."
And a lot of use just Windows. I'm still running Vista and am very content with it.

File:Preferences - there are check boxes for turning on Verbose output. Pretty simple.