GNOME Tweaks

  1. Bug #1228626
  2. Comment #16

Comment 16 for bug 1228626

Revision history for this message
Jeremy Bícha (jbicha) wrote :

This bug was fixed in gnome-tweak-tool 3.10, available in Ubuntu 14.04 LTS.