Comment 14 for bug 1228626

Revision history for this message
Romano Giannetti (romano-giannetti) wrote :

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.