Re: Padding 10 in gnome-panel