Ubuntu
gnome-tweak-tool package

  1. Bug #1228626
  2. Comment #11

Comment 11 for bug 1228626

Revision history for this message
Romano Giannetti (romano-giannetti) wrote :

Seems the same, and it seems fixed upstream. The problem is that I tested he fix (and the workaround) and it doesn't run on 13.10 --- it needs to be backported by someone with more knowledge than me.