GNOME: dash to panel problem