I just started playing with Arduino V1.0, and I have not seen that problem. I am using Ubuntu V11.10. I installed Arduino V0022 from the Ubuntu repository first tho.

Add: I had to check my setup. The setup preferences are kept in this directory/file/home/user/.arduino/preferences.txtThat is a hidden directory in your home directory. You can open it with a text editor to check it.