Tweaks to the Gnome panel