Ubuntu
gnome-tweak-tool package

  1. Bug #1014633
  2. Comment #6

Comment 6 for bug 1014633

Revision history for this message
C Schilder (cschilder) wrote :

philinux (philcb), thank you for the tip. The workaround works for me.