Ubuntu
gnome-shell package

  1. Bug #1262356
  2. Comment #4

Comment 4 for bug 1262356

Revision history for this message
Phil Wyett (aura-yoda) wrote :

Yes, updating gnome-themes-standard and dep of its data package from the PPA fixed this issue for me.