Ubuntu
gnome-tweak-tool package

  1. Bug #1014633
  2. Comment #8

Comment 8 for bug 1014633

Revision history for this message
Linuxexperte (andrea-koeth) wrote :

hi people,

I checked this trick from here:

https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1015896

and can confirm, that it works for me. The gnome-tweak-tool came back to live and these mentioned options work in Gnome3.5!! They do not seem to be deprecated!!

Greetings
Linuxexperte