Ubuntu
gnome-tweak-tool package

  1. Bug #1538248
  2. Comment #3

Comment 3 for bug 1538248

Revision history for this message
Wise Melon (wise-melon-deactivatedaccount) wrote :

I have also filed a report upstream on this issue: https://bugzilla.gnome.org/show_bug.cgi?id=763237