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.
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= 757c4e1eb06031c f1d066047a8032d c071a8843c.
It applies (almost) cleanly to the Ubuntu 3.10 version and works for me; at least you can use g-t-t with it.