Ubuntu
gnome-shell package

  1. Bug #1262356
  2. Comment #3

Comment 3 for bug 1262356

Revision history for this message
Tim Lunn (darkxst) wrote :

Phil, Can you confirm if this still happens using Gnome3 PPA? Looks like a theme issue caused by the GTK update, in which case will be fixed once gnome-themes-standard gets upload.