Ubuntu
gnome-tweak-tool package

  1. Bug #1709058
  2. Comment #1

Comment 1 for bug 1709058

Revision history for this message
Sebastien Bacher (seb128) wrote :

Seems it has been reported upstream as well https://bugzilla.gnome.org/show_bug.cgi?id=785611 and is not Ubuntu specific (the report mentions arch)