gnomeの高度な設定が起動しない対処

http://askubuntu.com/questions/127123/crashes-when-using-gnome-tweak-tool-with-gnome-3-4

にある通りでいけた。わかってないけど今はこれでいい。