> > I had a similar problem and discovered that my (gtk- or shell-)theme > was outdated. Update your themes or try it with the default gnome theme. > > Indeed, it was the theme... Simple, but it tricked me. Thanks for the tip.