Suggestions for improvement to the Linux IDE

I'm only seeing one issue that's linux-specific: "The only way to get it to pick up the port [of a newly attached Arduino] is to restart the IDE." (my mac does that just fine.)

All the other complaints affect other OSes as well (and most are registered issues at the google code site.) (I'll agree that some of them might be more noticeable by linux folk, though.)