Comment 12 for bug 1228626

I had found the patch that fix the crash --- it's here. https://git.gnome.org/browse/gnome-tweak-tool/commit/?h=gnome-3-10&id=757c4e1eb06031cf1d066047a8032dc071a8843c.

It applies (almost) cleanly to the Ubuntu 3.10 version and works for me; at least you can use g-t-t with it.