Ubuntu
gnome-tweak-tool package

  1. Bug #946867
  2. Comment #2

Comment 2 for bug 946867

Revision history for this message
Žygimantas Beručka (zygis) wrote :

I second that. I'm running an up to date Precise, gnome-tweak-tool 3.2.2-3 is from Precise repos and gnome-shell-extensions-user-theme 3.2.0-2~webupd8~oneiric.