Just adding that the patched gnome-tweak-tool (see post #12) is working for me with no problem since more than one month. The patch seems safe, too, and easily applied by hand.
Just adding that the patched gnome-tweak-tool (see post #12) is working for me with no problem since more than one month. The patch seems safe, too, and easily applied by hand.