2011-04-11 moel.mich Fixed a few details for the Linux GUI.